@inproceedings{time13,
  title = "A complete classification of the expressiveness
           of interval logics of {A}llen's relations over
           dense linear orders",
  author = "L. Aceto and Della Monica, D. and
            A. Ing\'olfsd\'ottir and A. Montanari and
            G. Sciavicco",
  booktitle = "Proc. of the 20th International Symposium on
               Temporal Representation and Reasoning (TIME)",
  year = "2013",
  pages = "65--72"
}