1. Avellone, A., Fiorino, G., Moscato, U.: Optimization techniques for propositional intuitionistic logic and their implementation. Theoretical Computer Science 409(1), 41–58 (2008)
2. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)
3. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM 5, 394–397 (1962)
4. Ferrari, M., Fiorentini, C., Fiorino, G.: Towards the use of simplification rules in intuitionistic tableaux. In: Gavanelli, M., Riguzzi, F. (eds.) CILC 2009: 24-esimo Convegno Italiano di Logica Computazionale (2009)
5. Lecture Notes in Artificial Intelligence;U. Hustadt,1998