@TechReport{WST04,
  author =       "Michael Codish and Aart Middeldorp (eds.)",
  title =        "WST'04 7th International Workshop on Termination",
  institution =  "RWTH Aachen",
  year =         "2004",
  number =       "AIB-2004-07",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-07.ps.gz",
}