Automated Synthesis of Tableau Calculi.

Renate A. Schmidt, Dmitry Tishkovsky

Browse the full TABLEAUX paper archive.