An Improvement of Analytic Tableaux.

Marcello D'Agostino, Marco Mondadori

Browse the full TABLEAUX paper archive.