TY  - RPRT
TI  - Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema
AU  - Toshiyasu Arai
PY  - 2017
UR  - https://arxiv.org/abs/1312.1136
ID  - 1312.1136
ER  -