@TechReport{GieslThiemannSchneiderKampFalke03,
  author =       "J\"urgen Giesl and Ren\'e Thiemann and Peter
                  Schneider-Kamp and Stephan Falke",
  title =        "Improving Dependency Pairs",
  institution =  "RWTH Aachen",
  year =         "2003",
  number =       "AIB-2003-04",
  month =        may,
  url =
"http://aib.informatik.rwth-aachen.de/2003/2003-04.ps.gz"
}