Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison.

Fabio Massacci Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. 14-18 1999 conf/tableaux/1999 TABLEAUX db/conf/tableaux/tableaux99.html#Massacci99