Decidability of the existential theory of infinite terms with subterm relation
scientific article; zbMATH DE number 501093