| |
| 2007 | ||
|---|---|---|
| 3 | EE | Davide Bresolin, Angelo Montanari, Pietro Sala: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560 |
| 2 | EE | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89 |
| 2006 | ||
| 1 | EE | Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco: A general tableau method for propositional interval temporal logics: Theory and implementation. J. Applied Logic 4(3): 305-330 (2006) |
| 1 | Davide Bresolin | [2] [3] |
| 2 | Valentin Goranko | [1] [2] |
| 3 | Angelo Montanari | [1] [2] [3] |
| 4 | Guido Sciavicco | [1] |