@inproceedings{entcs2009,
	Author = {Bresolin, Davide and Goranko, Valentin and Montanari, Angelo and Sala, Pietro},
	Booktitle = {Proc. of the 5th Workshop on Methods for Modalities (M4M5 2007)},
	Pages = {131--151},
	Series = {ENTCS},
	Title = {Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings},
	Volume = {231},
	Year = {2009}
}