Incremental Theory Reasoning Methods for Semantic Tableaux

• Authors:

• Bernhard Beckert;Christian Pape

• Affiliations:

• -;-

• Venue:
• TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
• Year:
• 1996