A. C. C. Say, “Improved Reasoning About Infinity Using Qualitative Simulation”, Comput. Inform., vol. 20, no. 5, pp. 487–507, Feb. 2012.