Order-sorted unification (1989)

by J Meseguer, J Goguen, G Smolka
Venue:J. Symbolic Computation