MAYBE 0.08/0.18 MAYBE 0.08/0.18 0.08/0.18 Problem: 0.08/0.18 plus(plus(X,Y),Z) -> plus(X,plus(Y,Z)) 0.08/0.18 times(X,s(Y)) -> plus(X,times(Y,X)) 0.08/0.18 0.08/0.18 Proof: 0.08/0.18 Open 0.08/0.18 EOF