Anca Muscholl Mathias Samuelides Luc Segoufin Complementing deterministic tree-walking automata. 33-39 2006 99 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/j.ipl.2005.09.017 db/journals/ipl/ipl99.html#MuschollSS06