@TechReport{GieslZantema02,
  author =       "J\"urgen Giesl and Hans Zantema",
  title =        "Liveness in Rewriting",
  institution =  "RWTH Aachen",
  year =         "2002",
  number =       "AIB-11-2002",
  month =        oct,
  url =
"http://aib.informatik.rwth-aachen.de/2002/2002-11.ps.gz",
}