Reference:
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. http://arxiv.org/abs/cs.AI/0303009, 2003. To appear in ACM Transactions on Computational Logic.
Suggested BibTeX entry:
@misc{JNSSY03:corr,
author = {Tomi Janhunen and Ilkka Niemel{\"a} and Dietmar Seipel and Patrik Simons and Jia-Huai You},
howpublished = {http://arxiv.org/abs/cs.AI/0303009},
note = {To appear in ACM Transactions on Computational Logic},
title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
year = {2003},
}
|