@Misc{            Aczela,
  Author        = "Aczel, Peter",
  date-added    = "2014-01-29 12:36:35 +0000",
  date-modified = "2014-01-29 12:37:26 +0000",
  Title         = "A general Church-Rosser theorem",
  File          = "A general Church-Rosser theorem for the lambda calculus - Aczel (0) (0) - a - a - j.pdf",
  file-2        = "A general Church-Rosser theorem - Aczel (0) (0) - a - a - j.pdf"
}

@Misc{ Aczela, Author = "Aczel, Peter", date-added = "2014-01-29 12:36:35 +0000", date-modified = "2014-01-29 12:37:26 +0000", Title = "A general Church-Rosser theorem", File = "A general Church-Rosser theorem for the lambda calculus - Aczel (0) (0) - a - a - j.pdf", file-2 = "A general Church-Rosser theorem - Aczel (0) (0) - a - a - j.pdf" }