@TechReport{ArtsGiesl01,
  author =       "Thomas Arts and J\"urgen Giesl",
  title =        "A collection of examples for termination of term
                  rewriting using dependency pairs",
  institution =  "RWTH Aachen",
  year =         "2001",
  number =       "AIB-09-2001",
  month =        sep,
  url =
"http://aib.informatik.rwth-aachen.de/2001/2001-09.ps.gz",
}