Davide Bresolin Angelo Montanari Pietro Sala An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. 549-560 2007 conf/stacs/2007 STACS http://dx.doi.org/10.1007/978-3-540-70918-3_47 db/conf/stacs/stacs2007.html#BresolinMS07