@inproceedings{time2011light,
	Address = {L\"{u}beck, Germany},
	Author = {Davide Bresolin and Dario {Della Monica} 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 light side of {Interval Temporal Logic}: the {Bernays-Sch\"{o}nfinkel's} fragment of {CDT}},
	Year = {2011}
}