Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. The dark side of interval temporal logic: marking the undecidability border. Annals of Mathematics and Artificial Intelligence, 71(1-3):41-83, 2014. [doi]
@article{BresolinMGMS14, title = {The dark side of interval temporal logic: marking the undecidability border}, author = {Davide Bresolin and Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco}, year = {2014}, doi = {10.1007/s10472-013-9376-4}, url = {http://dx.doi.org/10.1007/s10472-013-9376-4}, researchr = {https://researchr.org/publication/BresolinMGMS14}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {71}, number = {1-3}, pages = {41-83}, }