Linear unification (1978)

by M Paterson, M N Wegman
Venue:J. of Computer and System Sciences