%0 Conference Paper %1 conf/ecsqaru/LinkeS99 %A Linke, Thomas %A Schaub, Torsten %B ESCQARU %D 1999 %E Hunter, Anthony %E Parsons, Simon %I Springer %K dblp %P 268-278 %T On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. %U http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru1999.html#LinkeS99 %V 1638 %@ 3-540-66131-X

@inproceedings{conf/ecsqaru/LinkeS99, added-at = {2017-05-21T00:00:00.000+0200}, author = {Linke, Thomas and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/24765a3f25cb9e4fd031104a80f61e08c/dblp}, booktitle = {ESCQARU}, crossref = {conf/ecsqaru/1999}, editor = {Hunter, Anthony and Parsons, Simon}, ee = {https://doi.org/10.1007/3-540-48747-6_25}, interhash = {0c0c5ce931a73859278297d7ebd06c4c}, intrahash = {4765a3f25cb9e4fd031104a80f61e08c}, isbn = {3-540-66131-X}, keywords = {dblp}, pages = {268-278}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:50:35.000+0200}, title = {On Bottom-Up Pre-processing Techniques for Automated Default Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru1999.html#LinkeS99}, volume = 1638, year = 1999 }