Selected papers that cite this one Sauro Tulipani. Decidability of the existential theory of infinite terms with subterm relation. Information and Computation, 108(1):1-33, January 1994.