Emmanuel Filiot Jean-Marc Talbot Sophie Tison Tree Automata with Global Constraints. 314-326 2008 Developments in Language Theory http://dx.doi.org/10.1007/978-3-540-85780-8_25 conf/dlt/2008 db/conf/dlt/dlt2008.html#FiliotTT08