Simplification and Backjumping in Modal Tableau.

Ullrich Hustadt, Renate A. Schmidt

Browse the full TABLEAUX paper archive.