@unpublished{games10,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko and A. Montanari and G. Sciavicco},
    Title = {{Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability}},
    Note = {Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES)},
    Month = {September},
    Year = {2010}}