TY  - RPRT
TI  - On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
AU  - Tim Lyon
PY  - 2020
DO  - 10.1007/978-3-030-36755-8_12
UR  - https://arxiv.org/abs/1910.06576
ID  - 1910.06576
ER  -