EQUATIONS: 
response(compose(x,y),w) = response(x,response(y,w))
response(a(),b()) = c()
response(a(),c()) = b()

COMPLETE TRS:
RULES:
response(compose(x,y),w) -> response(x,response(y,w))
response(a(),response(a(),c())) -> c()
b() -> response(a(),c())

SUCCESS
MaxTRS: 5 
Search time: 0.87 seconds