@TechReport{      Plaisted,
  Author        = "Plaisted, David",
  date-added    = "2014-01-29 12:48:38 +0000",
  date-modified = "2014-01-29 12:49:30 +0000",
  Institution   = "University of Illinois At Urbana-Champaign",
  Month         = "September",
  Title         = "A Recursively Defined Ordering for Proving Termination of Term Rewriting Systems",
  Year          = "1978",
  File          = "A Recursively Defined Ordering for Proving Termination of Term Rewriting Systems - Plaisted (0) (0) - a - a - i.pdf"
}

@TechReport{ Plaisted, Author = "Plaisted, David", date-added = "2014-01-29 12:48:38 +0000", date-modified = "2014-01-29 12:49:30 +0000", Institution = "University of Illinois At Urbana-Champaign", Month = "September", Title = "A Recursively Defined Ordering for Proving Termination of Term Rewriting Systems", Year = "1978", File = "A Recursively Defined Ordering for Proving Termination of Term Rewriting Systems - Plaisted (0) (0) - a - a - i.pdf" }