@inproceedings{gandalf2010,
	Address = {Minori, Amalfi Coast, Italy},
	Author = {D. Bresolin and P. Sala and G. Sciavicco},
	Booktitle = {Proc. of GandALF 2010: First International Symposium on Games, Automata, Logics and Formal Verification},
	Date-Added = {2010-05-05 11:13:35 +0200},
	Date-Modified = {2010-05-05 11:13:35 +0200},
	Month = jun,
	Title = {{Begin, After, and Later}: a maximal decidable {Interval Temporal Logic}},
	Year = {2010}
}