@inproceedings{fa1e3cbe99334ed39c9fc0a2dc9ed4aa,
title = "Undecidability of Interval Temporal Logics with the Overlap Modality",
author = "Davide Bresolin and {Della Monica}, Dario and Valentin Goranko and Angelo Montanari and Guido Sciavicco",
year = "2009",
language = "English",
pages = "88--95",
booktitle = "Proceedings of the 16h International Symposium on Temporal Representation and Reasoning",
publisher = "IEEE Computer Society Press",
note = "16h International Symposium on Temporal Representation and Reasoning, TIME'2009 ; Conference date: 01-01-2009",
}