@inproceedings{lpar2008,
	Address = {Doha, Quatar},
	Author = {Bresolin, Davide and Della Monica, Dario and Goranko, Valentin and Montanari, Angelo and Sciavicco, Guido},
	Booktitle = {Proc. of the 15th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008)},
	Month = {November},
	Pages = {590--604},
	Series = {LNCS},
	Title = {Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification},
	Volume = {5330},
	Year = {2008}
}