MAYBE
(ignored inputs)COMMENT doi:10.1145/322248.322251 [22] Example 12.4 with typo; fixed as Cops #109 submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
input TRS:
   [ join(?x,meet(?x,?y)) -> ?x,
     meet(?x,joint(?y,?z)) -> join(meet(?x,?y),meet(?x,?z)),
     meet(?x,?x) -> ?x,
     join(?x,?x) -> ?x,
     meet(meet(?x,?y),?z) -> meet(?x,meet(?y,?z)),
     meet(?x,?y) -> meet(?y,?x),
     join(join(?x,?y),?z) -> join(?x,join(?y,?z)),
     join(?x,?y) -> join(?y,?x) ]
TRS:
   [ join(?x,meet(?x,?y)) -> ?x,
     meet(?x,joint(?y,?z)) -> join(meet(?x,?y),meet(?x,?z)),
     meet(?x,?x) -> ?x,
     join(?x,?x) -> ?x,
     meet(meet(?x,?y),?z) -> meet(?x,meet(?y,?z)),
     meet(?x,?y) -> meet(?y,?x),
     join(join(?x,?y),?z) -> join(?x,join(?y,?z)),
     join(?x,?y) -> join(?y,?x) ]
problems/78.trs: Failure(unknown UNC)
(0 msec.)