On the proof complexity of deep inference (0)

by P Bruscoli, A Guglielmi
Venue:ACM Trans. Comput. Logic