ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS

This publication has 13 references indexed in Scilit:

• Bottom-up evaluation and query optimization of well-founded models
  Theoretical Computer Science, 1995
• An alternating fixpoint tailored to magic programs
  Published by Association for Computing Machinery (ACM) ,1993
• The well-founded semantics for general logic programs
  Journal of the ACM, 1991
• Modular stratification and magic sets for DATALOG programs with negation
  Published by Association for Computing Machinery (ACM) ,1990
• Why not negation by fixpoint?
  Published by Association for Computing Machinery (ACM) ,1988
• On the Declarative Semantics of Deductive Databases and Logic Programs
  Published by Elsevier ,1988
• A generalization of the differential approach to recursive query evaluation
  The Journal of Logic Programming, 1987
• On the power of magic
  Published by Association for Computing Machinery (ACM) ,1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Making prolog more expressive
  The Journal of Logic Programming, 1984