@TechReport{MaxTermination,
  author =	 "Carsten Fuhs and Jürgen Giesl and Aart Middeldorp and Peter Schneider-Kamp and René Thiemann and Harald Zankl",
  title =	 "Maximal Termination",
  institution =	 "RWTH Aachen",
  year =	 "2008",
  number =	 "AIB-2008-03",
  month =	 jan,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-03.pdf"
}