/home/nowonder/forschung/aprove/TPDB05/TRS/LJB01/jones4.trs

The program

(VAR m n r)
(RULES
p(m,n,s(r)) -> p(m, r, n)
p(m,s(n),0) -> p(0, n, m)
p(m,0,0) -> m)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend