@inproceedings{DBLP:conf/ecsqaru/LinkeS99,
  title = {On Bottom-Up Pre-processing Techniques for Automated Default Reasoning},
  author = {Linke, Thomas and Schaub, Torsten},
  booktitle = {{ESCQARU}},
  pages = {268--278},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1638},
  year = {1999}
}