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