Pascal Nicolas Laurent Garcia Igor Stéphan Possibilistic Stable Models. 2005 conf/dagstuhl/2005P5171 Nonmonotonic Reasoning, Answer Set Programming and Constraints http://drops.dagstuhl.de/opus/volltexte/2005/264 db/conf/dagstuhl/P5171.html#NicolasGS05