@TechReport{GieslThiemannSchneiderKamp05,
  author =       "J\"urgen Giesl and Ren\'e Thiemann and Peter
                  Schneider-Kamp",
  title =        "Proving and Disproving Termination of Higher-Order
  Functions",
  institution =  "RWTH Aachen",
  year =         "2005",
  number =       "AIB-2005-03",
  month =        march,
  url =
"http://aib.informatik.rwth-aachen.de/2005/2005-03.ps.gz"
}