@article{amai14light,
    title={The light side of interval temporal logic:
           the {B}ernays-{S}ch{\"o}nfinkel fragment of {CDT}},
    author={Bresolin, Davide and Della Monica, Dario 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-9337-y},
    url={http://dx.doi.org/10.1007/s10472-013-9337-y},
    publisher={Springer International Publishing},
    keywords={Interval temporal logic; Tableau methods;
              Decidability; Complexity;
              03B44; 03B25; 68T15; 68T27},
    pages={11-39},
    language={English},
    note = "Online since March 2013"
}