Many-sorted unification (1988)

by C Walther
Venue:Journal of the ACM