@article{m4m09,
    title = "Undecidability of the Logic of \emph{Overlap} Relation over Discrete Linear Orderings",
    journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
    volume = "262",
    pages = "65 - 81",
    year = "2010",
    note = "Proc. of the 6th Workshop on Methods for Modalities (M4M-6 2009)",
    doi = "DOI: 10.1016/j.entcs.2010.04.006",
    url = "http://www.sciencedirect.com/science/article/B75H1-500RR7G-6/2/e291d8bc6537efbf7b3e2884efa5867e",
    author = "D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco",
    keywords = "interval temporal logics",
    keywords = "overlap relation",
    keywords = "undecidability",
    keywords = "octant tiling problem"
}