Mohr, Erik Programming Logics, MPI for Informatics, Max Planck Society;
Mohr, E. (1995). Resolution-Based Calculi for Modal Logics. Diploma Thesis, Universität des Saarlandes, Saarbrücken.