1. Brock-Nannestad, T., Schürmann, C.: Focused natural deduction. In: Fermüller, C.G., Voronkov, A. (eds.) LPAR-17, LNCS, vol. 6397, pp. 157–171. Springer, Berlin (2010)
2. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)
3. Claessen, K., Rosén, D.: SAT modulo intuitionistic implications. In: Davis, M., Fehnker, A., McIver, A., Voronkov, A. (eds.) LPAR-20, vol. 9450, pp. 622–637. Springer, Berlin (2015)
4. Dyckhoff, R., Lengrand, S.: A strongly focused calculus for intuitionistic logic. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds.) CiE, LNCS, vol. 3988, pp. 173–185. Springer, Berlin (2006)
5. Dyckhoff, R., Pinto, L.: Permutability of inferences in intuitionistic sequent calculi. Technical Report CS/97/7, University of St Andrews (1997)