Alessandro Avellone Pierangelo Miglioli Ugo Moscato Mario Ornaghi Generalized Tableau Systems for Intemediate Propositional Logics. 43-61 1997 conf/tableaux/1997 TABLEAUX db/conf/tableaux/tableaux97.html#AvelloneMMO97