Iván Szabolcs Logic and tree automata. Doktori értekezés, Szegedi Tudományegyetem (2000-). (2008) (Kéziratban)