@inproceedings{tableaux2011,
	Address = {Bern, Switzerland},
	Author = {Davide Bresolin and Angelo Montanari and Pietro Sala and Guido Sciavicco},
	Booktitle = {Proceedings of TABLEAUX 2011: The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods},
	Month = jul,
	Publisher = {Springer},
	Series = {LNAI},
	Title = {Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders},
	Year = {2011}
}