Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log., 7(1):1-37, 2006. [doi]
@article{JanhunenNSSY06,
title = {Unfolding partiality and disjunctions in stable model semantics},
author = {Tomi Janhunen and Ilkka Niemelä and Dietmar Seipel and Patrik Simons and Jia-Huai You},
year = {2006},
doi = {10.1145/1119439.1119440},
url = {http://doi.acm.org/10.1145/1119439.1119440},
tags = {semantics},
researchr = {https://researchr.org/publication/JanhunenNSSY06},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {7},
number = {1},
pages = {1-37},
}