Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-97-2-003.pdf (Any fulltext), 441KB
Hustadt, U., & Schmidt, R. A.(1997). On evaluating decision procedures for modal logic (MPI-I-1997-2-003). Saarbrücken: Max-Planck-Institut für Informatik.