Complexity Analysis by Rewriting (2008)

by M Avanzini, G Moser
Venue:In Proc. of 9th FLOPS, volume 4989 of LNCS