Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You
Unfolding Partiality and Disjunctions in Stable Model Semantics
KR, 2000.
@inproceedings{KR-2000-JanhunenNSY,
author = "Tomi Janhunen and Ilkka Niemelä and Patrik Simons and Jia-Huai You",
booktitle = "{Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning}",
pages = "411--422",
publisher = "{Morgan Kaufmann}",
title = "{Unfolding Partiality and Disjunctions in Stable Model Semantics}",
year = 2000,
}