Semantic unification for convergent systems - Mitra, Subrata 1930-2001 (Department of Computer Science Univ. of Ill., 1994)