@TechReport{AIB-2011-03-NEG11,
   author =       "Lars Noschinski and Fabian Emmes and J\"urgen Giesl",
   title =        "A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems",
   institution =  "RWTH Aachen",
   year =         "2011",
   number =       "AIB-2011-03",
   month =        apr,
   keywords =     "complexity, termination, term rewriting, dependency pairs",
   url =          "http://aib.informatik.rwth-aachen.de/2011/2011-03.pdf",
}