An Otimised Algorithm for Determinisation and Completion of Finite Tree Automata, nr. 145, 2014