@InProceedings{   BenedettRocca,
  Author        = "Benedetti, Erika De and Rocca, Simona Ronchi Della",
  BookTitle     = "Proceedings Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)",
  date-added    = "2013-07-10 09:39:45 +0000",
  date-modified = "2013-07-10 19:17:42 +0000",
  Keywords      = "intersection types",
  Title         = "Bounding normalization time through intersection types",
  Year          = "2012",
  File          = "Bounding normalization time through intersection types - Benedett, Rocca (0) (0) - a - a - q.pdf"
}

@InProceedings{ BenedettRocca, Author = "Benedetti, Erika De and Rocca, Simona Ronchi Della", BookTitle = "Proceedings Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)", date-added = "2013-07-10 09:39:45 +0000", date-modified = "2013-07-10 19:17:42 +0000", Keywords = "intersection types", Title = "Bounding normalization time through intersection types", Year = "2012", File = "Bounding normalization time through intersection types - Benedett, Rocca (0) (0) - a - a - q.pdf" }