@TECHREPORT{AIB-2003-08,
  AUTHOR = {J{\"u}rgen Giesl and Ren{\'e} Thiemann and Peter {Schneider-Kamp}
            and Stephan Falke},
  TITLE = {Improving and Mechanizing Dependency Pairs},
  INSTITUTION = {Department of Computer Science,
                 Rheinisch-Westf{\"a}lische Technische Hochschule},
  NUMBER = {AIB-2003-08},
  ADDRESS = {Aachen, Germany},
  YEAR = 2003
}