@inproceedings{time2009,
	Address = {Brixen-Bressanone, Italia},
	Author = {Davide Bresolin and Dario {Della Monica} and Valentin Goranko and Angelo Montanari and Guido Sciavicco},
	Booktitle = {Proc. of TIME 2009: 16th International Symposium on Temporal Representation and Reasoning},
	Month = {July,
	Pages = {88--95},
	Publisher = {IEEE Comp. Society Press},
	Title = {On the Undecidability of Interval Temporal Logics with the Overlap Modality},
	Year = {2009}
}