Mathias Samuelides Luc Segoufin Complexity of Pebble Tree-Walking Automata. 458-469 2007 conf/fct/2007 FCT http://dx.doi.org/10.1007/978-3-540-74240-1_40 db/conf/fct/fct2007.html#SamuelidesS07