@TechReport{OttoEtAl-AIB1008,
author = "C.\ Otto and M.\ Brockschmidt and C.\ {von Essen} and J.\ Giesl",
title = "Automated Termination Analysis of \textsf{Java Bytecode} by Term Rewriting",
institution = "RWTH Aachen",
year = "2010",
number = "AIB-2010-08",
month = "April",
url ="http://aib.informatik.rwth-aachen.de/2010/2010-08.pdf"
}