Guillaume Bonfante Adam Cichon Jean-Yves Marion Hélène Touzet Complexity Classes and Rewrite Systems with Polynomial Interpretation. 372-384 1998 conf/csl/1998 CSL db/conf/csl/csl98.html#BonfanteCMT98 http://dx.doi.org/10.1007/10703163_25