@TechReport{increasing07,
  author = "Jürgen Giesl, René Thiemann, Stephan Swiderski, and Peter Schneider-Kamp",
  title = "Proving Termination by Bounded Increase",
  institution = "RWTH Aachen",
  year = "2007",
  number = "AIB-2007-03",
  month = feb,
  url = "http://aib.informatik.rwth-aachen.de/2007/2007-03.ps.gz",
}