Barrett, Chris; Guglielmi, Alessio A subatomic proof system for decision trees. (English) Zbl 1505.03125 ACM Trans. Comput. Log. 23, No. 4, Article No. 26, 25 p. (2022). MSC: 03F05 03F20 PDFBibTeX XMLCite \textit{C. Barrett} and \textit{A. Guglielmi}, ACM Trans. Comput. Log. 23, No. 4, Article No. 26, 25 p. (2022; Zbl 1505.03125) Full Text: DOI arXiv
Bruscoli, Paola; Guglielmi, Alessio On the proof complexity of deep inference. (English) Zbl 1351.03056 ACM Trans. Comput. Log. 10, No. 2, Article No. 14, 34 p. (2009). MSC: 03F20 PDFBibTeX XMLCite \textit{P. Bruscoli} and \textit{A. Guglielmi}, ACM Trans. Comput. Log. 10, No. 2, Article No. 14, 34 p. (2009; Zbl 1351.03056) Full Text: DOI arXiv Link