@InProceedings{   Parys,
  Author        = "Parys, Pawe{\l}",
  BookTitle     = "Proc. of LICS'12",
  date-added    = "2012-06-22 21:53:01 +0100",
  date-modified = "2020-02-01 10:05:11 +0100",
  Title         = "On the Significance of the Collapse Operation",
  Year          = "2012",
  File          = "On the Significance of the Collapse Operation - Parys (0) (0) - a - a - d.pdf"
}

@InProceedings{ Parys, Author = "Parys, Pawe{\l}", BookTitle = "Proc. of LICS'12", date-added = "2012-06-22 21:53:01 +0100", date-modified = "2020-02-01 10:05:11 +0100", Title = "On the Significance of the Collapse Operation", Year = "2012", File = "On the Significance of the Collapse Operation - Parys (0) (0) - a - a - d.pdf" }