Unification theory (1989)

by J Siekmann
Venue:Journal of Symbolic Computation