MontanariPS10'

@inproceedings{DBLP:conf/time/MontanariPS10,
  author    = {Angelo Montanari and
               Ian Pratt-Hartmann and
               Pietro Sala},
  title     = {Decidability of the Logics of the Reflexive Sub-interval
               and Super-interval Relations over Finite Linear Orders},
  booktitle = {TIME},
  year      = {2010},
  pages     = {27-34},
  ee        = {http://dx.doi.org/10.1109/TIME.2010.18},
  crossref  = {DBLP:conf/time/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/time/2010,
  editor    = {Nicolas Markey and
               Jef Wijsen},
  title     = {TIME 2010 - 17th International Symposium on Temporal Representation
               and Reasoning, Paris, France, 6-8 September 2010},
  booktitle = {TIME},
  publisher = {IEEE Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4187-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}