José Espírito Santo, Maria João Frade, Luis Pinto. Structural Proof Theory as Rewriting. In Frank Pfenning, editor, Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings. Volume 4098 of Lecture Notes in Computer Science, pages 197-211, Springer, 2006. [doi]
Abstract is missing.