MAYBE
(ignored inputs)COMMENT experiments for [36] submitted by: Takahito Aoto
Rewrite Rules:
   [ s(p(?x)) -> ?x,
     p(s(?x)) -> ?x,
     +(?x,0) -> ?x,
     +(?x,s(?y)) -> s(+(?x,?y)),
     +(?x,p(?y)) -> p(+(?x,?y)),
     -(?x,0) -> ?x,
     -(?x,s(?y)) -> p(-(?x,?y)),
     -(?x,p(?y)) -> s(-(?x,?y)) ]
Apply Direct Methods...
Inner CPs:
   [ s(?x_1) = s(?x_1),
     p(?x) = p(?x),
     +(?x_3,?x) = s(+(?x_3,p(?x))),
     +(?x_4,?x_1) = p(+(?x_4,s(?x_1))),
     -(?x_6,?x) = p(-(?x_6,p(?x))),
     -(?x_7,?x_1) = s(-(?x_7,s(?x_1))) ]
Outer CPs:
   [  ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
576.trs: Failure(unknown CR)
(0 msec.)