@inproceedings{DBLP:conf/aaai/GebserKROSW13,
  author = {Gebser, Martin and Kaufmann, Benjamin and Romero, Javier and Otero, Ram{\'{o}}n and Schaub, Torsten and Wanko, Philipp},
  title = {Domain-Specific Heuristics in Answer Set Programming},
  booktitle = {{AAAI}},
  publisher = {{AAAI} Press},
  year = {2013}
}