@inproceedings{RTA-2010-OttoBEG,
author = "Carsten Otto and Marc Brockschmidt and Christian von Essen and Jürgen Giesl",
booktitle = "{Proceedings of the 21st International Conference on Rewriting Techniques and Applications}",
doi = "10.4230/LIPIcs.RTA.2010.259",
editor = "Christopher Lynch",
isbn = "978-3-939897-18-7",
pages = "259--276",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Automated Termination Analysis of Java Bytecode by Term Rewriting}",
volume = 6,
year = 2010,
}
Tags: