Incremental Theory Reasoning Methods for Semantic Tableaux.

Bernhard Beckert, Christian Pape

Browse the full TABLEAUX paper archive.