Decidability of the purely existential fragment of the theory of term algebras (1987)

by K Venkataraman
Venue:Journal of the ACM