@InProceedings{   Parysb,
  Author        = "Parys, Pawe{\l}",
  BookTitle     = "FLOPS'14",
  date-added    = "2014-04-22 13:51:20 +0000",
  date-modified = "2014-04-22 13:51:32 +0000",
  Title         = "How many numbers contains a lambda-term?",
  Year          = "2014",
  File          = "How many numbers contains a lambda-term? - Parys (0) (0) - a - a - r.pdf"
}

@InProceedings{ Parysb, Author = "Parys, Pawe{\l}", BookTitle = "FLOPS'14", date-added = "2014-04-22 13:51:20 +0000", date-modified = "2014-04-22 13:51:32 +0000", Title = "How many numbers contains a lambda-term?", Year = "2014", File = "How many numbers contains a lambda-term? - Parys (0) (0) - a - a - r.pdf" }