Linear uni cation (1978)

by Michael S Paterson, Mark N Wegman
Venue:Journal of Computer and System Sciences