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. (1998). Simplification and backjumping in modal tableau. In H. de Swart (Ed.), Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98) (pp. 187-201). Berlin, Germany: Springer.