Azmy, Noran Automation of Logic, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
Azmy, N. (2012). Formula Renaming with Generalizations. Master Thesis, Universität des Saarlandes, Saarbrücken.