@InProceedings{gekanesc08a,
  author =	 "M. Gebser and B. Kaufmann and A. Neumann and T. Schaub",
  title =	 "Advanced Preprocessing for Answer Set Solving",
  pages =	 "15-19",
  crossref =	 "ecai08"
}
@Proceedings{ecai08,
  title =	 "Proceedings of the Eighteenth European Conference on
                  Artificial Intelligence (ECAI'08)",
  booktitle =	 "Proceedings of the Eighteenth European Conference on
                  Artificial Intelligence (ECAI'08)",
  editor =	 "M. Ghallab and C. Spyropoulos and N. Fakotakis and N. Avouris",
  publisher =	 "IOS Press",
  year =	 2008
}