Meyer, Christoph Programming Logics, MPI for Informatics, Max Planck Society;
Meyer, C. (1999). Soft Typing for Clausal Inference Systems. PhD Thesis, Universität des Saarlandes, Saarbrücken.