A. V. Aho and J. D. Ullman, “Universality of Data Retrieval Languages”, Proc. Sixth ACM Symp. on Prin. of Programming Languages, 1979, 110–120.
F. Bancilhon and R. Ramakrishnan, “An Amateur's Introduction to Recursive Query Processing Strategies”, ACM Proc. of the ACM-SIGMOD Intl. Conf. on Management of Data, 1986.
F. Bancilhon, D. Maier, Y. Sagiv and J. D. Ullman, “Magic Sets and Other Strange Ways to Implement Logic Programs”, Proc. of the ACM SIGACT-SIGMOD Symp. on Prin. of Database Systems, Cambridge, MA, March, 1986.
A. K. Chandra and D. Harel, “Horn Clauses and the Fixed Point Hierarchy”, Proc. of the ACM SIGACT-SIGMOD Symp. on Prin. of Database Systems, 1982, 158–163.
C. Chang, “On Evaluation of Queries Containing Derived Relations in a Relational Database”, in Advances in Databases, vol. 1, H. Gallaire, J. Minker and J. M. Nicolas, (eds.), Plenum Press, 1981, 235–260.
P. Devanbu and R. Agrawal, “Moving Selections into Fixpoint Queries”, unpablished manuscript, 1986.
H. Gallaire, J. Minker and J. Nicolas, “Logic and Databases: A Deductive Approach”, Computing Surveys, 16, 2 (June 1984), 153–185.
L. J. Henschen and S. A. Naqvi, “Compiling Queries in Relational First-Order Databases”, J. ACM, 31, 1 (1984), 47–85.
M. Kifer and E. L. Lozinskii, “Query Optimization in Deductive Databases”, Tech. Rep.# 85/16, Dept. of Computer Science, SUNY at Stony Brook, June 1985.
M. Kifer and E. L. Lozinskii, “On Compile-Time Query Optimization in Deductive Databases”, submitted, 1986.
M. Kifer and E. L. Lozinskii, “A Framework for an Efficient Implementation of Deductive Database Systems”, Proceedings of the 6-th Advanced Database Symposium, Tokyo, Japan, Aug. 1986.
M. Kifer and E. L. Lozinskii, “Can We Implement Logic as a Database System?”, Tech. Rep.# 86/16, Dept. of Comp. Sci., SUNY @ Stony Brook, March 1986.
E. L. Lozinskii, “A Remark on Distributed Termination”, Proc. of the 5-th IEEE Intern. Conf. on Distributed Computing, Denver, Colorado, May, 1985.
E. L. Lozinskii, “Evaluating Queries in Deductive Databases by Generating”, Proc. of IJCAI, 1985, 173–177.
E. L. Lozinskii, “A Problem-Oriented Inferential Database System”, ACM Trans. Database Systems, 1986. To appear.
D. P. McKay and S. C. Shapiro, “Using Active Connection Graphs for Reasoning with Recursive Rules”, IJCAI, 1981, 368–374.
D. J. Rosenkrantz and H. B. Hunt, “Processing Conjunctive Predicates and Queries”, Proc. of the ACM Intl. Conf. on Very Large Data Bases, 1980, 64–72.
D. Sacca and C. Zaniolo, “On the Implementation of the Simple Class of Logic Queries for Databases”, Proc. of the ACM SIGACT-SIGMOD Symp. on Prin. of Database Systems, 1986, 16–23.
D. Sacca and C. Zaniolo, “Implementing Recursive Logic Queries with Function Symbols”, Tech. Rep.# DB-065-86, MCC, Austin, Tx, Feb 1986.
S. C. Shapiro and D. P. McKay, “Inference with Recursive Rules”, Proc. First Annual National Conf. On Artificial Intelligence, Stanford, 1980, 151–153.
J. D. Ullman, Principles of Database Systems, Computer Science Press, Rockville, MD, 1982.
M. H. vanEmden and R. A. Kowalski, “The Semantics of Predicate Logic as a Programming Language”, J. ACM, 23, 4 (Oct. 1976), 733–742.
E. Wong and K. Youssefi, “Decomposition — A Strategy for Query Processing”, ACM ACM Trans. Database Systems, 1, 3 (Sept. 1976), 223–241.