Parosh Aziz Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay Algorithmic Analysis of Programs with Well Quasi-ordered Domains. 109-127 2000 160 Inf. Comput. 1-2 db/journals/iandc/iandc160.html#AbdullaCJT00 http://dx.doi.org/10.1006/inco.1999.2843