Journal of the ACM Bibliography

Mark E. Stickel. A unification algorithm for associative-commutative functions. Journal of the ACM, 28(3):423-434, July 1981. [BibTeX entry]
Selected papers that cite this one


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database