G.: Complexity analysis by rewriting (0)

by M Avanzini, Moser
Venue:In: Proc. 9th FLOPS. Volume 4989 of LNCS. (2008) 130 146