Lemma Handling in Default Logic Theorem Provers

• Authors:

• Thomas Linke;Torsten Schaub

• Affiliations:

• -;-

• Venue:
• ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
• Year:
• 1995