José Espírito Santo, Maria João Frade, Luís Pinto: Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts. TYPES 2016: 10:1-10:27