![](https://www.pdfsearch.io/img/71e0cb129999d2ee054fc948a46b89ed.jpg) Date: 2008-02-22 04:38:54
| | On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath, Bath BA2 7AY, UKAdd to Reading ListSource URL: tocl.acm.orgDownload Document from Source Website File Size: 335,07 KBShare Document on Facebook
|