@inproceedings{tableaux2007,
	Address = {Aix en Provence, France},
	Author = {Davide Bresolin and Valentin Goranko and Angelo Montanari and Pietro Sala},
	Booktitle = {Proc. of TABLEAUX 2007: 16th Conference on Automated Reasoning with Analytic Tableaux and Related Methods},
	Month = {July},
	Pages = {73--89},
	Series = {LNAI},
	Title = {Tableau Systems for Logics of Subinterval Structures over Dense Orderings},
	Volume = {4548},
	Year = {2007}
}