SATCHMORE: SATCHMO with RElevancy

This publication has 11 references indexed in Scilit:

• The near-Horn approach to disjunctive logic programming
  Published by Springer Nature ,2005
• An efficient strategy for non-Horn deductive databases
  Theoretical Computer Science, 1991
• Generating relevant models
  Journal of Automated Reasoning, 1991
• Circumscription and Disjunctive Logic Programming
  Published by Elsevier ,1991
• Query evaluation in recursive databases: bottom-up and top-down reconciled
  Data & Knowledge Engineering, 1990
• A fixpoint semantics for disjunctive logic programs
  The Journal of Logic Programming, 1990
• On the power of magic
  Published by Association for Computing Machinery (ACM) ,1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Schubert's Steamroller problem: Formulations and solutions
  Journal of Automated Reasoning, 1986
• Magic sets and other strange ways to implement logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985