Order-Sorted Unification (1989)

by J Meseguer, J A Goguen, G Smolka
Venue:Journal of Symbolic Computation