@TechReport{      Lankford,
  Author        = "Lankford, Dallas",
  date-added    = "2014-01-27 14:24:11 +0000",
  date-modified = "2014-01-27 14:24:23 +0000",
  Month         = "May",
  Title         = "On Proving term rewriting systems are Noetherian",
  Year          = "1979",
  File          = "On Proving term rewriting systems are Noetherian - Lankford (0) (0) - a - a - y.pdf"
}

@TechReport{ Lankford, Author = "Lankford, Dallas", date-added = "2014-01-27 14:24:11 +0000", date-modified = "2014-01-27 14:24:23 +0000", Month = "May", Title = "On Proving term rewriting systems are Noetherian", Year = "1979", File = "On Proving term rewriting systems are Noetherian - Lankford (0) (0) - a - a - y.pdf" }