(COMMENT Dershowitz-Jouannaud Handbook)
(VAR x)
(RULES 
1(0(x)) -> 0(0(0(1(x)))) 
0(1(x)) -> 1(x)  
1(1(x)) -> 0(0(0(0(x)))) 
0(0(x)) -> 0(x) )