EQUATIONS: response(compose(x,y),w) = response(x,response(y,w)) COMPLETE TRS: RULES: response(compose(x,y),w) -> response(x,response(y,w)) SUCCESS MaxTRS: 2 Search time: 0.00 seconds