@inproceedings{time09,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 16th International Symposium on Temporal Representation and Reasoning (TIME)},
    Editor = {C. Lutz and J.F. Raskin},
    Pages = {88-95},
    Publisher = {IEEE Computer Society Press},
    Title = {Undecidability of {I}nterval {T}emporal {L}ogics with the \emph{{O}verlap} {M}odality},
    Month = {July},
    Year = {2009}}