YES(?,ELEMENTARY) 'epo* (timeout of 60.0 seconds)' -------------------------------- Answer: YES(?,ELEMENTARY) Input Problem: innermost runtime-complexity with respect to Rules: { f(x, a()) -> x , f(x, g(y)) -> f(g(x), y)} Proof Output: Strict Rules in Predicative Notation: { f(a(); x) -> x , f(g(; y); x) -> f(y; g(; x))} Safe Mapping: safe(f) = {1}, safe(a) = {}, safe(g) = {1} Argument Permutation: mu(f) = [1, 2] Precedence: f ~ f