Davide Bresolin Angelo Montanari Pietro Sala An optimal tableau for Right Propositional Neighborhood Logic over Trees. 110-117 2008 TIME http://dx.doi.org/10.1109/TIME.2008.17 conf/time/2008 db/conf/time/time2008.html#BresolinMS08