TY  - RPRT
TI  - Decidability of quantified propositional intuitionistic logic and S4 on trees
AU  - Richard Zach
PY  - 2002
DO  - 10.1023/b:logi.0000021744.10237.d0
UR  - https://arxiv.org/abs/math/0203113
ID  - math/0203113
ER  -