Decidability of the existential theory of infinite terms with subterm relation (1994)

by S Tulipani
Venue:Information and Computation