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