@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} }