Linear unification (1976)

by M S Paterson, M N Wegman
Venue:In STOC ’76: Proceedings of the eighth annual ACM symposium on Theory of computing