Logic and tree automata - Iván Szabolcs (Disszertacio, 2008)