Order-sorted unification (1989)

by J Meseguer, J A Goguen
Venue:J. Symb. Comput