@inproceedings{BresolinMGMS08,
  title = {Decidable and Undecidable Fragments of Halpern and Shoham s Interval Temporal Logic: Towards a Complete Classification},
  author = {Davide Bresolin and Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco},
  year = {2008},
  doi = {10.1007/978-3-540-89439-1_41},
  url = {http://dx.doi.org/10.1007/978-3-540-89439-1_41},
  tags = {completeness, classification, logic},
  researchr = {https://researchr.org/publication/BresolinMGMS08},
  cites = {0},
  citedby = {0},
  pages = {590-604},
  booktitle = {lpar},
}