@TechReport{GieslMiddeldorp02,
  author =       "J{\"u}rgen Giesl and Aart Middeldorp",
  title =        "Transformation Techniques for Context-Sensitive Rewrite Systems",
  institution =  "RWTH Aachen",
  year =         "2002",
  number =       "AIB-02-2002",
  month =        jan,
  url = "http://aib.informatik.rwth-aachen.de/2002/2002-02.ps.gz"
}