Algebraic Aspects of Cut Elimination.

Francesco Belardinelli Peter Jipsen Hiroakira Ono Algebraic Aspects of Cut Elimination. 209-240 2004 77 Studia Logica 2 http://dx.doi.org/10.1023/B:STUD.0000037127.15182.2a db/journals/sLogica/sLogica77.html#BelardinelliJO04