@TechReport{AIB2007-17,
  author      = "René Thiemann",
  title       = "The DP Framework for Proving Termination of Term Rewriting",
  institution = "RWTH Aachen University",
  year        = "2007",
  number      = "AIB-2007-17",
  month       = oct,
  url         = "http://aib.informatik.rwth-aachen.de/2007/2007-17.pdf",
}