NO
0.08/0.18	NO
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 sel(s(N),cons(X)) -> sel(N,XS)
0.08/0.18	 from(X) -> cons(X)
0.08/0.18	 sel(0(),cons(X)) -> X
0.08/0.18	 minus(X,0()) -> 0()
0.08/0.18	 minus(s(X),s(Y)) -> minus(X,Y)
0.08/0.18	 quot(0(),s(Y)) -> 0()
0.08/0.18	 quot(s(X),s(Y)) -> s(quot(minus(X,Y),s(Y)))
0.08/0.18	 zWquot(XS,nil()) -> nil()
0.08/0.18	 zWquot(nil(),XS) -> nil()
0.08/0.18	 zWquot(cons(X),cons(Y)) -> cons(quot(X,Y))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Fresh Variable Processor:
0.08/0.18	  loop length: 1
0.08/0.18	  terms:
0.08/0.18	   sel(s(N),cons(X))
0.08/0.18	  context: sel(N,[])
0.08/0.18	  substitution:
0.08/0.18	   XS -> sel(s(N),cons(X))
0.08/0.18	  Qed
0.08/0.18	EOF