@PhdThesis{       Hindleyer,
  Author        = "Hindleyer, Roger",
  date-added    = "2014-01-29 12:54:32 +0000",
  date-modified = "2014-01-29 12:54:55 +0000",
  Month         = "July",
  School        = "University of Newcastle upon Tyne",
  Title         = "The Church-Rosser property and a result in Combinatory Logic",
  Year          = "1964",
  File          = "The Church-Rosser property and a result in Combinatory Logic - Hindleyer (0) (0) - a - a - q.pdf"
}

@PhdThesis{ Hindleyer, Author = "Hindleyer, Roger", date-added = "2014-01-29 12:54:32 +0000", date-modified = "2014-01-29 12:54:55 +0000", Month = "July", School = "University of Newcastle upon Tyne", Title = "The Church-Rosser property and a result in Combinatory Logic", Year = "1964", File = "The Church-Rosser property and a result in Combinatory Logic - Hindleyer (0) (0) - a - a - q.pdf" }