Unfolding Partiality and Disjunctions in Stable Model Semantics (2006)

AUTHORS:

Janhunen Tomi , Niemelä Ilkka , Seipel Dietmar , Simons Patrik , You Jia-Huai

  • JOURNAL:
  • ACM Transactions on Computational Logic
  • PAGES:
  • 1-37

URL:
http://doi.acm.org/10.1145/1119439.1119440