@unpublished{cilc13,
  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",
  note = "28th Italian Conference on Computational Logic (CILC)",
  year = "2013"
}