TY - JOUR AU - Ferrari, Mauro AU - Fiorentini, Camillo AU - Fiorino, Guido IS - 2 JA - Journal of Applied Non-Classical Logics PB - Taylor & Francis PY - 2009 TI - A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications VL - 19 ER -