On the proof complexity of deep inference (2009)

by Paola Bruscoli, Alessio Guglielmi
Venue:ACM Transactions on Computational Logic