@inproceedings{comptools14,
  title = "First steps towards automated synthesis of
           tableau systems for interval temporal logics",
  author = "Della Monica, Dario and
            Angelo Montanari and
            Guido Sciavicco and
            Dmitri Tishkovsky",
  booktitle = "Proc. of the 5th International Conference on
          Computational Logics, Algebras, Programming,
          Tools, and Benchmarking (COMPUTATION TOOLS)",
  year = "2014",
  note = "Winner of the best paper award",
  pages = "32--37"
}