@conference{AST:RTA:15,
 author    = {Martin Avanzini and
                  Christian Sternagel and
                  Ren{\'{e}} Thiemann},
 title     = {Certification of Complexity Proofs using CeTA},
 year      = {2015},
 booktitle = {26th International Conference on Rewriting Techniques and Applications,
                  {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
 series    = {LIPIcs},
 volume    = {36},
 pages     = {23--39},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 doi       = {10.4230/LIPICS.RTA.2015.23},
 keywords  = {conference}
}