@Article{         Stirlingd,
  Author        = "Stirling, Colin",
  Abstract      = "We show that the higher-order matching problem is decidable using a game-theoretic argument.",
  date-added    = "2013-02-19 16:39:22 +0000",
  date-modified = "2019-08-27 10:09:46 +0200",
  EPrint        = "0907.3804",
  Keywords      = "higher-order matching and classic",
  Month         = "07",
  Title         = "Decidability of higher-order matching",
  URL           = "http://arxiv.org/abs/0907.3804",
  Year          = "2009",
  bdsk-url-1    = "http://arxiv.org/abs/0907.3804",
  File          = "Decidability of higher-order matching - Stirling (0) (0) - a - a - f.pdf"
}

@Article{ Stirlingd, Author = "Stirling, Colin", Abstract = "We show that the higher-order matching problem is decidable using a game-theoretic argument.", date-added = "2013-02-19 16:39:22 +0000", date-modified = "2019-08-27 10:09:46 +0200", EPrint = "0907.3804", Keywords = "higher-order matching and classic", Month = "07", Title = "Decidability of higher-order matching", URL = "http://arxiv.org/abs/0907.3804", Year = "2009", bdsk-url-1 = "http://arxiv.org/abs/0907.3804", File = "Decidability of higher-order matching - Stirling (0) (0) - a - a - f.pdf" }