Friedrich, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Friedrich, S. (1998). Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment. Master Thesis, Universität des Saarlandes, Saarbrücken.