Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, R. A. (1997). Optimised Modal Translation and Resolution. PhD Thesis, Universität des Saarlandes, Saarbrücken.