@InProceedings{   Cheney:2005,
  Author        = "Cheney, James",
  BookTitle     = "Proc. of UNIF'05",
  date-added    = "2019-09-12 18:35:25 +0200",
  date-modified = "2019-09-12 18:35:47 +0200",
  Title         = "Relating nominal and higher-order pattern unification",
  Year          = "2005",
  File          = "Relating Nominal and Higher-Order Pattern Unification - cheney05unif (0) - a - a - o.pdf"
}

@InProceedings{ Cheney:2005, Author = "Cheney, James", BookTitle = "Proc. of UNIF'05", date-added = "2019-09-12 18:35:25 +0200", date-modified = "2019-09-12 18:35:47 +0200", Title = "Relating nominal and higher-order pattern unification", Year = "2005", File = "Relating Nominal and Higher-Order Pattern Unification - cheney05unif (0) - a - a - o.pdf" }