@InProceedings{   BucciarelliKesnerRocca,
  Author        = "Bucciarelli, Antonio and Kesner, Delia and Rocca, Simona Ronchi Della",
  BookTitle     = "TCS",
  date-added    = "2014-09-02 13:16:45 +0000",
  date-modified = "2014-09-02 13:17:18 +0000",
  Title         = "The inhabitation problem for non-idempotent intersection types",
  Year          = "2014",
  File          = "The inhabitation problem for non-idempotent intersection types - Bucciarelli, Kesner, Rocca (0) (0) - a - a - f.pdf"
}

@InProceedings{ BucciarelliKesnerRocca, Author = "Bucciarelli, Antonio and Kesner, Delia and Rocca, Simona Ronchi Della", BookTitle = "TCS", date-added = "2014-09-02 13:16:45 +0000", date-modified = "2014-09-02 13:17:18 +0000", Title = "The inhabitation problem for non-idempotent intersection types", Year = "2014", File = "The inhabitation problem for non-idempotent intersection types - Bucciarelli, Kesner, Rocca (0) (0) - a - a - f.pdf" }