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