@TechReport{      Plaisteda,
  Author        = "Plaisted, David",
  date-added    = "2014-01-29 12:49:57 +0000",
  date-modified = "2014-01-29 12:50:23 +0000",
  Institution   = "University of Illinois At Urbana-Champaign",
  Month         = "July",
  Title         = "Well-founded Orderings for Proving Termination of Term Rewriting Systems",
  Year          = "1978",
  File          = "Well-founded Orderings for Proving Termination of Term Rewriting Systems - Plaisted (0) (0) - a - a - e.pdf"
}

@TechReport{ Plaisteda, Author = "Plaisted, David", date-added = "2014-01-29 12:49:57 +0000", date-modified = "2014-01-29 12:50:23 +0000", Institution = "University of Illinois At Urbana-Champaign", Month = "July", Title = "Well-founded Orderings for Proving Termination of Term Rewriting Systems", Year = "1978", File = "Well-founded Orderings for Proving Termination of Term Rewriting Systems - Plaisted (0) (0) - a - a - e.pdf" }