TY  - RPRT
TI  - A simplified version of the Sequent Calculus G3[mic]^=
AU  - Franco Parlamento
AU  - Flavio Previale
PY  - 2018
UR  - https://arxiv.org/abs/1810.11355
ID  - 1810.11355
ER  -