Complex optimization in answer set programming (2011)

by M Gebser, R Kaminski, T Schaub