Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
1997-2-003 (Any fulltext), 10KB
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.