@conference{AMS:IJCAR:08,
 author    = {Martin Avanzini and
                  Georg Moser and
                  Andreas Schnabl},
 title     = {Automated Implicit Computational Complexity Analysis (System Description)},
 year      = {2008},
 booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
                  Sydney, Australia, August 12-15, 2008, Proceedings},
 series    = {Lecture Notes in Computer Science},
 volume    = {5195},
 pages     = {132--138},
 publisher = {Springer},
 doi       = {10.1007/978-3-540-71070-7\_10},
 keywords  = {conference}
}