MAYBE Time: 0.010 Problem: Equations: unionAC(unionAC(x5,x6),x7) -> unionAC(x5,unionAC(x6,x7)) unionAC(x5,x6) -> unionAC(x6,x5) unionAC(x5,unionAC(x6,x7)) -> unionAC(unionAC(x5,x6),x7) unionAC(x6,x5) -> unionAC(x5,x6) TRS: unionAC(empty(),X) -> X max(singl(x)) -> x max(unionAC(singl(x),singl(0()))) -> x max(unionAC(singl(s(x)),singl(s(y)))) -> s(max(unionAC(singl(x),singl(y)))) max(unionAC(singl(x),unionAC(Y,Z))) -> max(unionAC(singl(x),singl(max(unionAC(Y,Z))))) Proof: Open