@inproceedings{tableaux13,
  title = "A Tableau System for Right Propositional
           Neighborhood Logic over Finite Linear
           Orders: an Implementation",
  author = "D. Bresolin and Della Monica, D. and
            A. Montanari and G. Sciavicco",
  booktitle = "Proc. of the 22nd International Conference on
               Automated Reasoning with Analytic Tableaux and
               Related Methods (TABLEAUX)",
  year = "2013",
  editor = "D. Galmiche and D. Larchey-Wendling",
  pages = "74--80",
  publisher = "Springer-Verlag Berlin Heidelberg",
  series = "LNCS",
  volume = "8123"
}