@TechReport{ThiemannGiesl03,
  author =       "Rene\'e Thiemann and J\"urgen Giesl",
  title =        "Size-Change Termination for Term Rewriting",
  institution =  "RWTH Aachen",
  year =         "2003",
  number =       "AIB-2003-02",
  month =        jan,
  url =
"http://aib.informatik.rwth-aachen.de/2003/2003-02.ps.gz"
}