@article{TEMP:journals/tplp/GebserKS11x,
  author = {Gebser, Martin and Kaminski, Roland and Schaub, Torsten},
  title = {Complex optimization in answer set programming: Extended Version},
  institution = {University of Potsdam},
  year = {2011}
}