@inproceedings{DBLP:conf/ecai/GebserKNS08,
  author = {Gebser, Martin and Kaufmann, Benjamin and Neumann, Andr{\'{e}} and Schaub, Torsten},
  title = {Advanced Preprocessing for Answer Set Solving},
  booktitle = {{ECAI}},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {178},
  pages = {15--19},
  publisher = {{IOS} Press},
  year = {2008}
}