@inproceedings{time2011dark,
	Address = {L\"{u}beck, Germany},
	Author = {Davide Bresolin and Dario {Della Monica} and Valentin Goranko and Angelo Montanari and Guido Sciavicco},
	Booktitle = {Proc. of TIME 2011: 18th International Symposium on Temporal Representation and Reasoning},
	Month = sep,
	Publisher = {IEEE Comp. Society Press},
	Title = {The dark side of {Interval Temporal Logic}: sharpening the undecidability border},
	Year = {2011}
}