@inproceedings{DBLP:conf/ecsqaru/LinkeS95, author = {Linke, Thomas and Schaub, Torsten}, title = {Lemma Handling in Default Logic Theorem Provers}, booktitle = {{ECSQARU}}, series = {Lecture Notes in Computer Science}, volume = {946}, pages = {285--292}, publisher = {Springer}, year = {1995} }