@inproceedings{time2008,
	Address = {Montreal, Quebec, Canada},
	Author = {Davide Bresolin and Angelo Montanari and Pietro Sala},
	Booktitle = {Proc. of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008)},
	Month = {June},
	Pages = {110--117},
	Publisher = {IEEE Comp. Society Press},
	Title = {An optimal tableau for {R}ight {P}ropositional {N}eighborhood {L}ogic over trees},
	Year = {2008}
}