Stefan Hetzl, Alexander Leitsch. Proof Transformations and Structural Invariance. In Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra, editors, Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Volume 4460 of Lecture Notes in Computer Science, pages 201-230, Springer, 2006. [doi]
Abstract is missing.