@Unpublished{     Stirling,
  Author        = "Stirling, Colin",
  date-added    = "2012-04-26 08:57:55 +0200",
  date-modified = "2012-04-26 08:58:16 +0200",
  Keywords      = "higher-order recursion schemes",
  Title         = "An introduction to decidability of higher-order matching",
  Year          = "2010",
  File          = "An introduction to decidability of higher-order matching - Stirling (0) (0) - a - a - n.pdf",
  file-2        = "An introduction to decidability of higher-order matching - Stirling (1) (0) - a - a - n.pdf",
  file-3        = "An introduction to decidability of higher-order matching - Stirling (2) (0) - a - a - n.pdf"
}

@Unpublished{ Stirling, Author = "Stirling, Colin", date-added = "2012-04-26 08:57:55 +0200", date-modified = "2012-04-26 08:58:16 +0200", Keywords = "higher-order recursion schemes", Title = "An introduction to decidability of higher-order matching", Year = "2010", File = "An introduction to decidability of higher-order matching - Stirling (0) (0) - a - a - n.pdf", file-2 = "An introduction to decidability of higher-order matching - Stirling (1) (0) - a - a - n.pdf", file-3 = "An introduction to decidability of higher-order matching - Stirling (2) (0) - a - a - n.pdf" }