@PHDTHESIS{phd_thesis,
  author = {Della Monica, Dario},
  title = {Expressiveness, decidability, and undecidability of Interval Temporal Logic},
  school = {University of Udine},
  year = {2011}
}