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