@inproceedings{time11_light,
    Author = {Bresolin, D. and Della Monica, D. and A. Montanari
              and G. Sciavicco},
    Booktitle = {Proc. of the 18th International Symposium on
                 Temporal Representation and Reasoning (TIME)},
    Title = {{The light side of Interval Temporal Logic:
              the Bernays-Sch{\"o}nfinkel's fragment of CDT}},
    Month = {September},
    doi       = {10.1109/TIME.2011.20},
    isbn      = {978-1-4577-1242-5},
    Year = {2011}
}