(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f3)) (VAR A B) (RULES f3(A,B) -> Com_1(f0(0,B)) f0(A,B) -> Com_1(f0(A,B - 1)) :|: B >= 1 f4(A,B) -> Com_1(f4(A,B)) f0(A,B) -> Com_1(f4(-1,B)) :|: 0 >= B )
content may be truncated. 'popout' for larger text window.