"Improving the Normalization of Weight Rules in Answer Set Programs."

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