MAYBE
(ignored inputs)COMMENT [5] p. 287 , attributed to Sivakumar submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
input TRS:
   [ f(?x,?x) -> g(?x),
     f(?x,g(?x)) -> b,
     h(c,?y) -> f(h(?y,c),h(?y,?y)) ]
TRS:
   [ f(?x,?x) -> g(?x),
     f(?x,g(?x)) -> b,
     h(c,?y) -> f(h(?y,c),h(?y,?y)) ]
unknown Parallel Closed Conditional Linearization
unknown Strongly Closed Conditional Linearization
problems/16.trs: Failure(unknown UNC)
(0 msec.)