@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} }