Rafal Grabos Answer Set Programming and Combinatorial Voting. 2005 conf/dagstuhl/2005P5171 Nonmonotonic Reasoning, Answer Set Programming and Constraints http://drops.dagstuhl.de/opus/volltexte/2005/262 db/conf/dagstuhl/P5171.html#Grabos05