A Reductive Semantics for Counting and Choice in Answer Set Programming
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/aaai/LeeLP08,
author = {Joohyung Lee and
Vladimir Lifschitz and
Ravi Palla},
title = {A Reductive Semantics for Counting and Choice in Answer
Set Programming},
booktitle = {AAAI},
year = {2008},
pages = {472-479},
crossref = {DBLP:conf/aaai/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
