TY  - RPRT
TI  - The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality
AU  - Franco Parlamento
AU  - Flavio Previale
PY  - 2017
UR  - https://arxiv.org/abs/1705.00693
ID  - 1705.00693
ER  -