Query evaluation in recursive databases: bottom-up and top-down reconciled

This publication has 7 references indexed in Scilit:

• Specialisation of Prolog and FCP programs using abstract interpretation
  New Generation Computing, 1988
• A bibliography on partial evaluation
  ACM SIGPLAN Notices, 1988
• The Alexander Method — A technique for the processing of recursive axioms in deductive databases
  New Generation Computing, 1986
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976
• Linear resolution with selection function
  Artificial Intelligence, 1972
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955