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. (1997). On Evaluating Decision Procedures for Modal Logics. In M. E. Pollack (Ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97) (pp. 202-207). San Francisco, USA: Morgan Kaufmann.