@InProceedings{   msfp10,
  Author        = "Keller, Chantal and Altenkirch, Thorsten",
  BookTitle     = "in Proc. of MSFP'10",
  date-added    = "2017-05-03 19:37:09 +0000",
  date-modified = "2017-05-03 19:48:53 +0000",
  Keywords      = "normalization by evaluation",
  Title         = "Normalization by hereditary substitutions",
  Year          = "2010",
  File          = "msfp10 (0) - a - a - b.pdf"
}

@InProceedings{ msfp10, Author = "Keller, Chantal and Altenkirch, Thorsten", BookTitle = "in Proc. of MSFP'10", date-added = "2017-05-03 19:37:09 +0000", date-modified = "2017-05-03 19:48:53 +0000", Keywords = "normalization by evaluation", Title = "Normalization by hereditary substitutions", Year = "2010", File = "msfp10 (0) - a - a - b.pdf" }