On Equational Theories, Unification, and (Un)Decidability (1989)

by H J Bürckert, A Herold, M Schmidt-Schauss
Venue:Journal of Symbolic Computation