Two Results on Ordering for Resolution with Merging and Linear Format.

Raymond Reiter: Two Results on Ordering for Resolution with Merging and Linear Format. J. ACM 18(4): 630-646(1971)

@article{DBLP:journals/jacm/Reiter71,
  author    = {Raymond Reiter},
  title     = {Two Results on Ordering for Resolution with Merging and Linear
               Format},
  journal   = {J. ACM},
  volume    = {18},
  number    = {4},
  year      = {1971},
  pages     = {630-646},
  ee        = {db/journals/jacm/Reiter71.html, http://doi.acm.org/10.1145/321662.321678},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

BibTeX