@INPROCEEDINGS{stacs07,
  author = {Davide Bresolin and Angelo Montanari and Pietro Sala},
  title = {An optimal tableau-based decision algorithm for Propositional Neighborhood Logic}, 
  booktitle = {Proceedings of STACS 2007: 24th International Symposium on Theoretical Aspects of Computer Science},
  address = {Aachen, Germany},
  month = {February},
  year = {2007},
}