@misc{indiciae8abe70cf9d60,
  title = {Contraction Elimination in Sequent Based Ground Equational Calculus},
  author = {F. Parlamento and F. Previale},
  year = {2015},
  url = {https://arxiv.org/abs/1512.09171},
  note = {Source identifier: 1512.09171}
}