@inproceedings{jelia2008,
	Address = {Dresden, Germany},
	Author = {D. Bresolin and A. Montanari and P. Sala and G. Sciavicco},
	Booktitle = {Proc. of JELIA 2008: 11th European Conference on Logics in Artificial Intelligence (JELIA)},
	Month = {September},
	Pages = {62--75},
	Publisher = {Springer},
	Series = {LNAI},
	Title = {Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders},
	Volume = {5293},
	Year = {2008}
}