Thompson's group $F$ is the group "responsible" for associativity relations. It does act on binary trees. I am not sure it will help you much because you would probably have to explain to the readers what Thompson's group is, but in fact proving associativity relation amounts to manipulating with elements of $F$.