Bozkurt, Ahmet Programming Logics, MPI for Informatics, Max Planck Society;
Bozkurt, A. (1995). Strategien für Resolutionsbeweiser in Logik höherer Stufe. Master Thesis, Universität des Saarlandes, Saarbrücken.