MAYBE 0.08/0.18 MAYBE 0.08/0.18 0.08/0.18 Problem: 0.08/0.18 f(node(s(n),xs)) -> f(addchild(select(xs),node(n,xs))) 0.08/0.18 select(cons(ap,xs)) -> ap 0.08/0.18 select(cons(ap,xs)) -> select(xs) 0.08/0.18 addchild(node(y,ys),node(n,xs)) -> node(y,cons(node(n,xs),ys)) 0.08/0.18 0.08/0.18 Proof: 0.08/0.18 Open 0.08/0.18 EOF