Horazal, Fulya International Max Planck Research School, MPI for Informatics, Max Planck Society;
Horazal, F. (2007). Towards a Natural Representation of Mathematics in Proof Assistants. Master Thesis, Universität des Saarlandes, Saarbrücken.