A Proof Procedure Using Connection Graphs.

Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975)

@article{DBLP:journals/jacm/Kowalski75,
  author    = {Robert A. Kowalski},
  title     = {A Proof Procedure Using Connection Graphs},
  journal   = {J. ACM},
  volume    = {22},
  number    = {4},
  year      = {1975},
  pages     = {572-595},
  ee        = {db/journals/jacm/Kowalski75.html, http://doi.acm.org/10.1145/321906.321919},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An5-2 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

John Jeffrey, Jorge Lobo, Tadao Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259(1996)
Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents
Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991)
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents
Guido Moerkotte, Stefan Karl: Efficient Consistency Control in Deductive Databases. ICDT 1988: 118-128
Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69
Eliezer L. Lozinskii: A Problem-Oriented Inferential Database System. ACM Trans. Database Syst. 11(3): 323-356(1986)
Charles Kellogg, Anthony B. O'Hare, Larry Travis: Optimizing the Rule-Data Interface in a KMS. VLDB 1986: 42-51
Stefan Böttcher, Matthias Jarke, Joachim W. Schmidt: Adaptive Predicate Managers in Database Systems. VLDB 1986: 21-29
Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985)
Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469
David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99
Charles Kellogg, Philip Klahr, Larry Travis: A Deductive Capability for Data Management. VLDB 1976: 181-196

BibTeX