@inproceedings{AMS:IJCAR:08,
 author    = "M. Avanzini and G. Moser and A. Schnabl",
 title     = {{Automated Implicit Computational Complexity Analysis (System Description)}},
 booktitle = "Proceedings of the \nth{4} International Joint Conference on Automated Reasoning",
 series    = "Lecture Notes in Computer Science",
 volume    = "5195",
 year      = 2008,
 pages     = "132-138",
 publisher = "Springer Verlag Heidelberg",
}