Luc Segoufin Automata and Logics for Words and Trees over an Infinite Alphabet. 41-57 2006 conf/csl/2006 CSL http://dx.doi.org/10.1007/11874683_3 db/conf/csl/csl2006.html#Segoufin06