MAYBE (ignored inputs)COMMENT submitted by: Johannes Waldmann input TRS: [ b(b(?x)) -> c(a(?x)), c(a(?x)) -> b(b(?x)), c(a(?x)) -> a(b(?x)), a(b(?x)) -> b(b(?x)), c(b(?x)) -> a(b(?x)), a(c(?x)) -> c(c(?x)), c(b(?x)) -> b(b(?x)) ] TRS: [ b(b(?x)) -> c(a(?x)), c(a(?x)) -> b(b(?x)), c(a(?x)) -> a(b(?x)), a(b(?x)) -> b(b(?x)), c(b(?x)) -> a(b(?x)), a(c(?x)) -> c(c(?x)), c(b(?x)) -> b(b(?x)) ] problems/997.trs: Failure(unknown UNC) (0 msec.)