Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings | Publicación