Complexity Analysis by Rewriting.

Martin Avanzini, Georg Moser

Browse the full FLOPS paper archive.