@Article{         copp:func81,
  Author        = "Coppo, M. and Ciancaglini, M. Dezani and Venneri, B.",
  citeulike-article-id="123245",
  date-added    = "2013-04-02 09:44:24 +0000",
  date-modified = "2013-04-02 09:44:50 +0000",
  Journal       = {Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik},
  Keywords      = "intersection types and no pdf",
  Pages         = "45--58",
  posted-at     = "2005-03-12 04:20:59",
  priority      = "0",
  Title         = "{Functional Characters of Solvable Terms}",
  Volume        = "27",
  Year          = "1981"
}

@Article{ copp:func81, Author = "Coppo, M. and Ciancaglini, M. Dezani and Venneri, B.", citeulike-article-id="123245", date-added = "2013-04-02 09:44:24 +0000", date-modified = "2013-04-02 09:44:50 +0000", Journal = {Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik}, Keywords = "intersection types and no pdf", Pages = "45--58", posted-at = "2005-03-12 04:20:59", priority = "0", Title = "{Functional Characters of Solvable Terms}", Volume = "27", Year = "1981" }