Marcello D'Agostino Marco Mondadori An Improvement of Analytic Tableaux. 1-3 1992 TABLEAUX db/conf/tableaux/tableaux92.html#DAgostinoM92