Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt, U., & Schmidt, R. A. (1999). An Empirical Analysis of Modal Theorem Provers. Journal of Applied Non-Classical Logics, 9(4), 479-522.