MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 plus(0(),Y) -> Y
0.08/0.17	 plus(s(X),Y) -> s(plus(X,Y))
0.08/0.17	 min(X,0()) -> X
0.08/0.17	 min(s(X),s(Y)) -> min(X,Y)
0.08/0.17	 min(min(X,Y),Z()) -> min(X,plus(Y,Z()))
0.08/0.17	 quot(0(),s(Y)) -> 0()
0.08/0.17	 quot(s(X),s(Y)) -> s(quot(min(X,Y),s(Y)))
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.17	EOF