Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω Richard Zach OriginalPaper Pages: 155 - 164