@article{jar07, Title = {An optimal decision procedure for Right Propositional Neighborhood Logic}, Author = {Davide Bresolin and Angelo Montanari and Guido Sciavicco}, Journal = {Journal of Automated Reasoning}, Number = {1-3}, Pages = {173--199}, Volume = {38}, Year = {2007} }