@article{bruscoli:inria-00441211, TITLE = {{On the Proof Complexity of Deep Inference}}, AUTHOR = {Bruscoli, Paola and Guglielmi, Alessio}, URL = {https://inria.hal.science/inria-00441211}, JOURNAL = {{ACM Transactions on Computational Logic}}, PUBLISHER = {{Association for Computing Machinery}}, VOLUME = {10}, NUMBER = {2}, PAGES = {34}, YEAR = {2009}, MONTH = Feb, DOI = {10.1145/1462179.1462186}, PDF = {https://inria.hal.science/inria-00441211/file/OnPrComplDI.pdf}, HAL_ID = {inria-00441211}, HAL_VERSION = {v1}, }