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

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