@inproceedings{AST:RTA:15,
 author    = "M. Avanzini and C. Sternagel and R. Thiemann",
 title     = {{Certification of Complexity Proofs using CeTA}},
 booktitle = "Proceedings of the \nth{26} International Conference on Rewriting Techniques and Applications",
 series    = "Leibnitz International Proceedings in Informatics",
 volume    = "36",
 year      = 2015,
 pages     = "23--39",
 publisher = "Leibnitz Zentrum für Informatik",
}