TY  - RPRT
TI  - Hypersequents and Systems of Rules: Embeddings and Applications
AU  - Agata Ciabattoni
AU  - Francesco A. Genco
PY  - 2018
DO  - 10.1145/3180075
UR  - https://arxiv.org/abs/1805.04852
ID  - 1805.04852
ER  -