"From (Quantified) Boolean Formulae to Answer Set Programming."

Igor Stéphan, Benoit Da Mota, Pascal Nicolas (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics