@INPROCEEDINGS{tableaux2005,
  author = {Davide Bresolin and Angelo Montanari},
  title = {A tableau-based decision procedure for Right Propositional Neighborhood Logic},
  booktitle = {Proceedings of TABLEAUX 2005: 14th Conference on Automated Reasoning with Analytic Tableaux and Related Methods},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {3702},
  pages = {63--77},
  address = {Koblenz, Germany},
  month = {September},
  year = {2005},
}