Davide Bresolin Angelo Montanari Guido Sciavicco An Optimal Decision Procedure for Right Propositional Neighborhood Logic. 173-199 2007 38 J. Autom. Reasoning 1-3 http://dx.doi.org/10.1007/s10817-006-9051-0 db/journals/jar/jar38.html#BresolinMS07