@TechReport{GieslMiddeldorp02b,
  author =       "J\"{u}rgen Giesl and Aart Middeldorp",
  title =        "Innermost Termination of Context-Sensitive Rewriting",
  institution =  "RWTH Aachen",
  year =         "2002",
  number =       "AIB-2002-04",
  month =        feb,
  url = "http://aib.informatik.rwth-aachen.de/2002/2002-04.ps.gz"
}