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.