Algorithmic analysis of programs with well quasi-ordered domains.
scientific article; zbMATH DE number 1853112