@inproceedings{gandalf12,
    Author = {D. Bresolin and Della Monica, D. and A. Montanari
              and P. Sala and G. Sciavicco},
    Title = {{I}nterval {T}emporal {L}ogics over Strongly Discrete
             Linear Orders: the Complete Picture},
    Booktitle = {Proc. of the 3rd International Symposium on Games,
                 Automata, Logics and Formal Verification (GandALF)},
    Year = {2012},
    Month = {September},
    Address = {Naples, Italy}
}