Comparing the Complexity of Cut-Elimination Methods

@inproceedings{Baaz2001ComparingTC,
  title={Comparing the Complexity of Cut-Elimination Methods},
  author={Matthias Baaz and Alexander Leitsch},
  booktitle={Proof Theory in Computer Science},
  year={2001}
}