@article{amai14dark,
    title={The dark side of {I}nterval {T}emporal {L}ogic:
           marking the undecidability border},
    author={Bresolin, Davide and Della Monica, Dario and
            Goranko, Valentin and Montanari, Angelo and
            Sciavicco, Guido},
    year={2014},
    issn={1012-2443},
    journal={Annals of Mathematics and Artificial
             Intelligence (AMAI)},
    volume={71},
    number={1-3},
    doi={10.1007/s10472-013-9376-4},
    url={http://dx.doi.org/10.1007/s10472-013-9376-4},
    publisher={Springer International Publishing},
    keywords={Interval temporal logic; Undecidability;
              Tiling problems; 03B44; 03D35; 68T27; 05B45},
    pages={41-83},
    language={English},
    note = "Online since September 2013"
}