TY  - RPRT
TI  - Absorbing the Structural Rules in the Sequent Calculus with Additional Atomic Rules
AU  - Franco Parlamento
AU  - Flavio Previale
PY  - 2018
UR  - https://arxiv.org/abs/1810.11407
ID  - 1810.11407
ER  -