Relating Word and Tree Automata.

Orna Kupferman, Shmuel Safra, Moshe Y. Vardi

Browse the full LICS paper archive.