Unification algebras: an axiomatic approach to unification, equation solving and constraint solving (1988)

by Manfred Schmidt-Schauß, Jörg H. Siekmann
Venue:UNIVERSITAT KAISERSLAUTERN