@TechReport{      HuetLankford,
  Author        = "Huet, Gerard and Lankford, Dallas",
  date-added    = "2014-01-29 12:51:17 +0000",
  date-modified = "2014-01-29 12:51:49 +0000",
  Keywords      = "classic",
  Month         = "March",
  Title         = "On the Uniform Halting Problem for Term Rewriting Systems",
  Year          = "1978",
  File          = "On the Uniform Halting Problem for Term Rewriting Systems - Huet, Lankford (0) (0) - a - a - c.pdf"
}

@TechReport{ HuetLankford, Author = "Huet, Gerard and Lankford, Dallas", date-added = "2014-01-29 12:51:17 +0000", date-modified = "2014-01-29 12:51:49 +0000", Keywords = "classic", Month = "March", Title = "On the Uniform Halting Problem for Term Rewriting Systems", Year = "1978", File = "On the Uniform Halting Problem for Term Rewriting Systems - Huet, Lankford (0) (0) - a - a - c.pdf" }