"Rewriting Optimization Statements in Answer-Set Programs."

Jori Bomanson, Martin Gebser, Tomi Janhunen (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics