@Article{         wand-fi87,
  Author        = "Wand, Mitchell",
  citeulike-article-id="5395052",
  date-added    = "2013-07-10 08:49:22 +0000",
  date-modified = "2013-07-10 08:50:29 +0000",
  Journal       = "Fundam. Inform.",
  Keywords      = "simply-typed lambda calculus and type inference",
  Pages         = "115--122",
  posted-at     = "2009-08-07 21:29:22",
  priority      = "2",
  Title         = "A simple algorithm and proof for type inference",
  Volume        = "10",
  Year          = "1987",
  File          = "A simple algorithm and proof for type inference. - Wand (0) (0) - a - a - p.pdf"
}

@Article{ wand-fi87, Author = "Wand, Mitchell", citeulike-article-id="5395052", date-added = "2013-07-10 08:49:22 +0000", date-modified = "2013-07-10 08:50:29 +0000", Journal = "Fundam. Inform.", Keywords = "simply-typed lambda calculus and type inference", Pages = "115--122", posted-at = "2009-08-07 21:29:22", priority = "2", Title = "A simple algorithm and proof for type inference", Volume = "10", Year = "1987", File = "A simple algorithm and proof for type inference. - Wand (0) (0) - a - a - p.pdf" }