Mark Edward Stickel
-
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Complete Sets of Reductions for Some Equational Theories
Journal of the ACM (JACM)