Semi-uni cation (1988)

by D Kapur, D Musser, P Narendran, J Stillman
Venue:Proceedings of 8th Conference onFoundations of Software Technology and Theoretical Computer Science, LNCS 338, pages 435 { 454