Semi-unification (1988)

by D Kapur, D Musser, P Narendran, J Stillman
Venue:In Proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science