@unpublished{games09,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
    Title = {Undecidability of the {L}ogic of the \emph{{O}verlap} {R}elation over {D}iscrete {L}inear {O}rderings},
    Note = {Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES)},
    Month = {September},
    Year = {2009}}