@inproceedings{lics2011,
	Address = {Toronto, Canada},
	Author = {Davide Bresolin and Angelo Montanari and Pietro Sala and Guido Sciavicco},
	Booktitle = {Proceedings of LICS 2011: 26th Symposium on Logic in Computer Science},
	Month = jun,
	Publisher = {IEEE Comp. Society Press},
	Title = {What's decidable about {Halpern and Shoham's} interval logic? {The} maximal fragment {ABBL}},
	Year = {2011}
}