José Espírito Santo, Luis Pinto. Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Volume 2701 of Lecture Notes in Computer Science, pages 286-300, Springer, 2003. [doi]
Abstract is missing.