Parameterized complexity of basic decision problems for tree automata. - Witold Charatonik; Agata Chorowska (Int. J. Comput. Math., 2013)