Say, A.C.C. 2012. Improved Reasoning About Infinity Using Qualitative Simulation. Computing and Informatics. 20, 5 (Feb. 2012), 487–507.