Leitsch, Alexander; Lolic, Anela Extraction of expansion trees. (English) Zbl 1468.68296 J. Autom. Reasoning 62, No. 3, 393-430 (2019). MSC: 68V15 03B35 03F05 68V20 PDFBibTeX XMLCite \textit{A. Leitsch} and \textit{A. Lolic}, J. Autom. Reasoning 62, No. 3, 393--430 (2019; Zbl 1468.68296) Full Text: DOI
Woltzenlogel Paleo, Bruno Reducing redundancy in cut-elimination by resolution. (English) Zbl 1444.03163 J. Log. Comput. 27, No. 2, 577-606 (2017). MSC: 03F05 03F20 PDFBibTeX XMLCite \textit{B. Woltzenlogel Paleo}, J. Log. Comput. 27, No. 2, 577--606 (2017; Zbl 1444.03163) Full Text: DOI Link
Buss, Sam Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination. (English) Zbl 1315.00019 Stud. Log. 103, No. 3, 663-667 (2015). MSC: 00A17 03F05 03B25 03-02 PDFBibTeX XMLCite \textit{S. Buss}, Stud. Log. 103, No. 3, 663--667 (2015; Zbl 1315.00019) Full Text: DOI