@inproceedings{DBLP:conf/iclp/GebserKKS09,
  title = {On the Implementation of Weight Constraint Rules in Conflict-Driven {ASP} Solvers},
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
  booktitle = {{ICLP}},
  pages = {250--264},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5649},
  year = {2009}
}