TY  - RPRT
TI  - Tree automata and separable sets of input variables
AU  - Slavcho Shtrakov
AU  - Vladimir Shtrakov
PY  - 2007
UR  - https://arxiv.org/abs/cs/0702123
ID  - cs/0702123
ER  -