Linear unification (1978)

by M Paterson, N Wegman
Venue:Journal of Computer and Systems Science