@InProceedings{   HeijltjesHouston,
  Author        = "Heijltjes, Willem and Houston, Robin",
  BookTitle     = "Proc. of CSL-LICS'14",
  date-added    = "2014-08-05 08:15:31 +0000",
  date-modified = "2014-08-05 08:16:02 +0000",
  Title         = "No proof nets for MLL with units",
  Year          = "2014",
  File          = "No proof nets for MLL with units - Heijltjes, Houston (1) (0) - a - a - e.pdf",
  file-2        = "No proof nets for MLL with units - Heijltjes, Houston (0) (0) - a - a - e.pdf"
}

@InProceedings{ HeijltjesHouston, Author = "Heijltjes, Willem and Houston, Robin", BookTitle = "Proc. of CSL-LICS'14", date-added = "2014-08-05 08:15:31 +0000", date-modified = "2014-08-05 08:16:02 +0000", Title = "No proof nets for MLL with units", Year = "2014", File = "No proof nets for MLL with units - Heijltjes, Houston (1) (0) - a - a - e.pdf", file-2 = "No proof nets for MLL with units - Heijltjes, Houston (0) (0) - a - a - e.pdf" }