TY  - RPRT
TI  - Contraction Elimination in Sequent Based Ground Equational Calculus
AU  - F. Parlamento
AU  - F. Previale
PY  - 2015
UR  - https://arxiv.org/abs/1512.09171
ID  - 1512.09171
ER  -