@inproceedings{AM:FLOPS:08,
 author    = "M. Avanzini and G. Moser",
 title     = {{Complexity Analysis by Rewriting}},
 booktitle = "Proceedings of the 9th International Symposium on Functional and Logic Programming",
 series    = "Lecture Notes in Computer Science",
 volume    = "5989",
 year      = 2008,
 pages     = "130--146",
 publisher = "Springer Verlag Heidelberg",
}