@TechReport{AIB-2011-02-BOG11,
   author =      "Marc Brockschmidt and Carsten Otto and J\"urgen Giesl",
   title =       "Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting",
   institution = "RWTH Aachen",
   year =        "2011",
   number =      "AIB-2011-02",
   month =       apr,
   keywords =    "termination, Java Bytecode, term rewriting, recursion"
   url =         "http://aib.informatik.rwth-aachen.de/2011/2011-02.pdf",
}