@TechReport{      Hillebrand,
  Author        = "Hillebrand, Gerd G.",
  Address       = "Providence, RI, USA",
  date-added    = "2013-04-01 19:43:38 +0000",
  date-modified = "2013-04-01 19:43:38 +0000",
  Publisher     = "Brown University",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-94-24",
  Title         = "Finite Model Theory in the Simply Typed Lambda Calculus",
  Year          = "1994",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?id=864416",
  File          = "Finite Model Theory in the Simply Typed Lambda Calculus - Hillebrand (0) (0) - a - a - a.pdf"
}

@TechReport{ Hillebrand, Author = "Hillebrand, Gerd G.", Address = "Providence, RI, USA", date-added = "2013-04-01 19:43:38 +0000", date-modified = "2013-04-01 19:43:38 +0000", Publisher = "Brown University", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-94-24", Title = "Finite Model Theory in the Simply Typed Lambda Calculus", Year = "1994", bdsk-url-1 = "http://dl.acm.org/citation.cfm?id=864416", File = "Finite Model Theory in the Simply Typed Lambda Calculus - Hillebrand (0) (0) - a - a - a.pdf" }