What happened

The report was submitted to the Information Processing Letter.

See the decision of IPL.

Next, we submitted it to the A.P. Ershov conference.

See the reviews

Finally, we thought that the best place for publication is TOPLAS, ACM Transactions on Programming Languages and Systems.

The decision was ...

The analysis of the "quick" review.