On the proof complexity of deep inference (0)

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