@inproceedings{lpar08,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)},
    Editor = {I. Cervesato and H. Veith and A. Voronkov},
    Pages = {590-604},
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidable and {U}ndecidable {F}ragments of {H}alpern and {S}hoham’s {I}nterval {T}emporal {L}ogic: {T}owards a {C}omplete {C}lassification},
    Volume = {5330},
    Month = {November},
    Year = {2008}}