@article{entcs2010, Author = {Davide Bresolin and Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco}, Doi = {DOI: 10.1016/j.entcs.2010.04.006}, Journal = {Electronic Notes in Theoretical Computer Science}, Note = {Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)}, Pages = {65 - 81}, Title = {Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings}, Url = {http://www.sciencedirect.com/science/article/B75H1-500RR7G-6/2/e291d8bc6537efbf7b3e2884efa5867e}, Volume = {262}, Year = {2010}, }