G.: Undecidability of the logic of Overlap relation over discrete linear orderings (0)

by D Bresolin, Della Monica, D Goranko, V Montanari, A Sciavicco
Venue:Electronic Notes in Theoretical Computer Science (ENTCS) 262, 65 – 81 (2010). Proc. of the 6th Workshop on Methods for Modalities (M4M-6 2009