Gyenizse Pál
Decidability questions for term rewriting systems and tree transducers.
Doktori értekezés, József Attila Tudományegyetem (1962-1999).
(1999) (Kéziratban)