%0 Journal Article %A Beckmann, Arnold %A Weiermann, Andreas %D 1996 %J Archive for Mathematical Logic %N 1 %P 11-30 %T A term rewriting characterization of the polytime functions and related complexity classes %V 36