Azmy, N. (2012). Formula Renaming with Generalizations. Master Thesis, Universität des Saarlandes, Saarbrücken.