Mark E. Stickel
Gerald E. Peterson and Mark E. Stickel.
Complete sets of reductions for some equational theories.
Journal of the ACM
, 28(2):233-264, April 1981.
Citations.
Mark E. Stickel.
A unification algorithm for associative-commutative functions.
Journal of the ACM
, 28(3):423-434, July 1981.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database