Algorithmic analysis of programs with well quasi-ordered domains

Abdulla, P.A.P.A.AbdullaČerāns, K.K.ČerānsJonsson, B.B.JonssonYIH-KUEN TSAY2018-09-102018-09-102000http://www.scopus.com/inward/record.url?eid=2-s2.0-0034632154&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/288842Algorithmic analysis of programs with well quasi-ordered domainsjournal article10.1006/inco.1999.2843