TY  - RPRT
TI  - Grafting Hypersequents onto Nested Sequents
AU  - Roman Kuznets
AU  - Björn Lellmann
PY  - 2015
DO  - 10.1093/jigpal/jzw005
UR  - https://arxiv.org/abs/1502.00814
ID  - 1502.00814
ER  -