MAYBE
(ignored inputs)COMMENT doi:10.1145/322217.322230 [12] p. 814 , attributed to Levy submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
Rewrite Rules:
   [ F(A,A) -> G(B,B),
     A -> A',
     F(A',?x) -> F(?x,?x),
     F(?x,A') -> F(?x,?x),
     G(B,B) -> F(A,A),
     B -> B',
     G(B',?x) -> G(?x,?x),
     G(?x,B') -> G(?x,?x) ]
Apply Direct Methods...
Inner CPs:
   [ F(A',A) = G(B,B),
     F(A,A') = G(B,B),
     G(B',B) = F(A,A),
     G(B,B') = F(A,A) ]
Outer CPs:
   [ F(A',A') = F(A',A'),
     G(B',B') = G(B',B') ]
Left-Linear, not Right-Linear
(inner) Parallel CPs:
   [ F(A,A') = G(B,B) {},
     F(A',A) = G(B,B) {},
     F(A',A') = G(B,B) {},
     G(B,B') = F(A,A) {},
     G(B',B) = F(A,A) {},
     G(B',B') = F(A,A) {} ]
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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