Joohyung Lee Vladimir Lifschitz Ravi Palla A Reductive Semantics for Counting and Choice in Answer Set Programming. 472-479 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#LeeLP08