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