A generalization of the Lin-Zhao theorem

This publication has 15 references indexed in Scilit:

• Why are there so many loop formulas?
  ACM Transactions on Computational Logic, 2006
• ASSAT: computing answer sets of a logic program by SAT solvers
  Artificial Intelligence, 2004
• Tight logic programs
  Theory and Practice of Logic Programming, 2003
• Loop Formulas for Disjunctive Logic Programs
  Lecture Notes in Computer Science, 2003
• Encodings for Equilibrium Logic and Logic Programs with Nested Expressions
  Lecture Notes in Computer Science, 2001
• Nested expressions in logic programs
  Annals of Mathematics and Artificial Intelligence, 1999
• Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation
  Information and Computation, 1997
• Applications of circumscription to formalizing common-sense knowledge
  Artificial Intelligence, 1986
• Circumscription—A form of non-monotonic reasoning
  Artificial Intelligence, 1980
• Negation as Failure
  1978