Gentzen cut elimination for propositional sequent calculus by rewriting derivations", Pub. du Laboratoire de Logique, d'Algorithmique et d'Informatique de Clermont 1, Universit d'Auvergne (1992)

by Tahhan Bittar, E