DBA*: Solving Combinatorial Problems with Deductive Databases

This publication has 8 references indexed in Scilit:

• A generalization of the differential approach to recursive query evaluation
  The Journal of Logic Programming, 1987
• On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Design overview of the NAIL! System
  Published by Springer Nature ,1986
• Depth-first iterative-deepening
  Artificial Intelligence, 1985
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985
• Universality of data retrieval languages
  Published by Association for Computing Machinery (ACM) ,1979
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976