@inproceedings{time11_dark,
    Author = {Bresolin, D. and Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 18th International Symposium on Temporal Representation and Reasoning (TIME)},
    Title = {{The dark side of Interval Temporal Logic: sharpening the undecidability border}},
    Month = {September},
    Year = {2011}
}