@article{Bresolin_2013,
    doi = {10.1007/s10472-013-9376-4},
    url = {https://doi.org/10.1007%2Fs10472-013-9376-4},
    year = {2013},
    month = {sep},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {71},
    number = {1-3},
    pages = {41--83},
    author = {Davide Bresolin and Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco},
    title = {The dark side of interval temporal logic: marking the undecidability border},
    journal = {Annals of Mathematics and Artificial Intelligence}
}

@article{Bresolin_2013, doi = {10.1007/s10472-013-9376-4}, url = {https://doi.org/10.1007%2Fs10472-013-9376-4}, year = {2013}, month = {sep}, publisher = {Springer Science and Business Media {LLC}}, volume = {71}, number = {1-3}, pages = {41--83}, author = {Davide Bresolin and Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco}, title = {The dark side of interval temporal logic: marking the undecidability border}, journal = {Annals of Mathematics and Artificial Intelligence} }