@InProceedings{   Miller,
  Author        = "Miller, Dale",
  BookTitle     = "International Conference on Logic Programming",
  date-added    = "2013-02-19 17:18:43 +0000",
  date-modified = "2013-02-19 17:19:35 +0000",
  Keywords      = "logic programming and higher-order unification and lambda calculus",
  Title         = "Unification of Simply Typed Lambda-Terms as Logic Programming",
  Year          = "1991",
  File          = "Unification of Simply Typed Lambda-Terms as Logic Programming - Miller (0) (0) - a - a - j.pdf",
  file-2        = "Unification of Simply Typed Lambda-Terms as Logic Programming - Miller (0) (0) - a - a - j.ps"
}

@InProceedings{ Miller, Author = "Miller, Dale", BookTitle = "International Conference on Logic Programming", date-added = "2013-02-19 17:18:43 +0000", date-modified = "2013-02-19 17:19:35 +0000", Keywords = "logic programming and higher-order unification and lambda calculus", Title = "Unification of Simply Typed Lambda-Terms as Logic Programming", Year = "1991", File = "Unification of Simply Typed Lambda-Terms as Logic Programming - Miller (0) (0) - a - a - j.pdf", file-2 = "Unification of Simply Typed Lambda-Terms as Logic Programming - Miller (0) (0) - a - a - j.ps" }