@Unpublished{     grellois,
  Author        = "Grellois, Charles",
  date-added    = "2017-05-21 14:58:46 +0000",
  date-modified = "2017-05-21 14:59:05 +0000",
  Title         = "Game semantics of higher-order recursion schemes establishes the decidability of MSO model-checking",
  File          = "grellois-game-semantics-and-ho-model-checking (0) - a - a - p.pdf"
}

@Unpublished{ grellois, Author = "Grellois, Charles", date-added = "2017-05-21 14:58:46 +0000", date-modified = "2017-05-21 14:59:05 +0000", Title = "Game semantics of higher-order recursion schemes establishes the decidability of MSO model-checking", File = "grellois-game-semantics-and-ho-model-checking (0) - a - a - p.pdf" }