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
- Tanel Tammet:
Using Resolution for Extending KL-ONE-type Languages.
CIKM 1995: 326-332
- Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents - 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)