@article{jlc2010,
	Title = {{Tableaux for Logics of Subinterval Structures over Dense Orderings}},
	Author = {Bresolin, Davide and Goranko, Valentin and Montanari, Angelo and Sala, Pietro},
	Journal = {Journal of Logic and Computation},
	Number = {1},
	Pages = {133--166},
	Url = {http://logcom.oxfordjournals.org/cgi/content/abstract/exn063v1},
	Volume = {20},
	Year = {2010},
}