@Article{         Tyszkiewicz,
  Author        = "Tyszkiewicz, Jerzy",
  date-added    = "2013-07-18 14:18:30 +0000",
  date-modified = "2013-07-18 14:19:22 +0000",
  Journal       = "Fundamenta Informaticae",
  Keywords      = "type inference",
  Month         = "December",
  Number        = "1-4",
  Pages         = "289--301",
  Title         = "Complexity of Type Inference",
  Volume        = "103",
  Year          = "2010",
  bdsk-url-1    = "http://iospress.metapress.com/content/57848240n8266373/?issue=1\&genre=article\&spage=289\&issn=0169-2968\&volume=103"
}

@Article{ Tyszkiewicz, Author = "Tyszkiewicz, Jerzy", date-added = "2013-07-18 14:18:30 +0000", date-modified = "2013-07-18 14:19:22 +0000", Journal = "Fundamenta Informaticae", Keywords = "type inference", Month = "December", Number = "1-4", Pages = "289--301", Title = "Complexity of Type Inference", Volume = "103", Year = "2010", bdsk-url-1 = "http://iospress.metapress.com/content/57848240n8266373/?issue=1\&genre=article\&spage=289\&issn=0169-2968\&volume=103" }