Loading paper
Tree automata and separable sets of input variables | Tomesphere