A transformation system for deductive database modules with perfect model semantics

This publication has 10 references indexed in Scilit:

• On the power of magic
  The Journal of Logic Programming, 1991
• Completed logic programs and their consistency
  The Journal of Logic Programming, 1990
• Three-valued formalization of logic programming
  Published by Association for Computing Machinery (ACM) ,1990
• Stable models and non-determinism in logic programs with negation
  Published by Association for Computing Machinery (ACM) ,1990
• Signed data dependencies in logic programs
  The Journal of Logic Programming, 1989
• Every logic program has a natural stratification and an iterated least fixed point model
  Published by Association for Computing Machinery (ACM) ,1989
• Unfounded sets and well-founded semantics for general logic programs
  Published by Association for Computing Machinery (ACM) ,1988
• The Alexander Method — A technique for the processing of recursive axioms in deductive databases
  New Generation Computing, 1986
• Magic sets and other strange ways to implement logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985