Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You. Unfolding Partiality and Disjunctions in Stable Model Semantics. In KR. pages 411-422, 2000.
@inproceedings{JanhunenNSY00,
title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
author = {Tomi Janhunen and Ilkka Niemelä and Patrik Simons and Jia-Huai You},
year = {2000},
tags = {semantics},
researchr = {https://researchr.org/publication/JanhunenNSY00},
cites = {0},
citedby = {0},
pages = {411-422},
booktitle = {KR},
}