%0 Journal Article %1 journals/tocl/JanhunenNSSY06 %A Janhunen, Tomi %A Niemelä, Ilkka %A Seipel, Dietmar %A Simons, Patrik %A You, Jia-Huai %D 2006 %J ACM Trans. Comput. Log. %K %N 1 %P 1-37 %T Unfolding partiality and disjunctions in stable model semantics. %U http://dblp.uni-trier.de/db/journals/tocl/tocl7.html#JanhunenNSSY06 %V 7

@article{journals/tocl/JanhunenNSSY06, added-at = {2023-12-14T14:34:13.000+0100}, author = {Janhunen, Tomi and Niemelä, Ilkka and Seipel, Dietmar and Simons, Patrik and You, Jia-Huai}, biburl = {https://www.bibsonomy.org/bibtex/2287df6e0b616d44243fef70e0f85002d/admin}, ee = {https://doi.org/10.1145/1119439.1119440}, interhash = {e0dc262af06ce55c919ddab072c1010f}, intrahash = {287df6e0b616d44243fef70e0f85002d}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 1, pages = {1-37}, timestamp = {2023-12-14T14:34:13.000+0100}, title = {Unfolding partiality and disjunctions in stable model semantics.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl7.html#JanhunenNSSY06}, volume = 7, year = 2006 }