A Unification Algorithm for Associative-Commutative Functions.

Mark E. Stickel: A Unification Algorithm for Associative-Commutative Functions. J. ACM 28(3): 423-434(1981)

@article{DBLP:journals/jacm/Stickel81,
  author    = {Mark E. Stickel},
  title     = {A Unification Algorithm for Associative-Commutative Functions},
  journal   = {J. ACM},
  volume    = {28},
  number    = {3},
  year      = {1981},
  pages     = {423-434},
  ee        = {db/journals/jacm/Stickel81.html, http://doi.acm.org/10.1145/322261.322262},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Natraj Arni, Sergio Greco, Domenico Saccà: Set-Term Matching in Logic Programming. ICDT 1992: 436-449
Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166(1989)
Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). PODS 1988: 15-28
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41

BibTeX