ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Resolution Strategies as Decision Procedures.

William H. Joyner Jr.: Resolution Strategies as Decision Procedures. J. ACM 23(3): 398-417(1976)
@article{DBLP:journals/jacm/Joyner76,
  author    = {William H. Joyner Jr.},
  title     = {Resolution Strategies as Decision Procedures},
  journal   = {J. ACM},
  volume    = {23},
  number    = {3},
  year      = {1976},
  pages     = {398-417},
  ee        = {db/journals/jacm/Joyner76.html, http://doi.acm.org/10.1145/321958.321960},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX

Online Edition

Citation Page BibTeX

Referenced by

  1. Tanel Tammet: Using Resolution for Extending KL-ONE-type Languages. CIKM 1995: 326-332
  2. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  3. François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20
BibTeX

Copyright © Sun May 17 00:05:24 2009 by Michael Ley (ley@uni-trier.de)