MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 +(0(),y) -> y
0.08/0.18	 +(s(x),y) -> s(+(x,y))
0.08/0.18	 +(p(x),y) -> p(+(x,y))
0.08/0.18	 minus(0()) -> 0()
0.08/0.18	 minus(s(x)) -> p(minus(x))
0.08/0.18	 minus(p(x)) -> s(minus(x))
0.08/0.18	 *(0(),y) -> 0()
0.08/0.18	 *(s(x),y) -> +(*(x,y),y)
0.08/0.18	 *(p(x),y) -> +(*(x,y),minus(y))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF