Schlobach, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Schlobach, S. (1996). Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung. Master Thesis, Universität des Saarlandes, Saarbrücken.