Tree automata and separable sets of input variables - Slavcho Shtrakov; Vladimir Shtrakov (CoRR, 2007)