MAYBE

Problem:
 plus(x,0()) -> x
 plus(x,s(y)) -> s(plus(x,y))
 d(0()) -> 0()
 d(s(x)) -> s(s(d(x)))
 q(0()) -> 0()
 q(s(x)) -> s(plus(q(x),d(x)))

Proof:
 DP Processor:
  DPs:
   plus#(x,s(y)) -> plus#(x,y)
   d#(s(x)) -> d#(x)
   q#(s(x)) -> d#(x)
   q#(s(x)) -> q#(x)
   q#(s(x)) -> plus#(q(x),d(x))
  TRS:
   plus(x,0()) -> x
   plus(x,s(y)) -> s(plus(x,y))
   d(0()) -> 0()
   d(s(x)) -> s(s(d(x)))
   q(0()) -> 0()
   q(s(x)) -> s(plus(q(x),d(x)))
  Open