Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electronic Notes in Theoretical Computer Science, 262:65-81, 2010. [doi]
Abstract is missing.