@misc{indiciae61d4aaecde5f,
  title = {On the Proof Complexity of Deep Inference},
  author = {Paola Bruscoli and Alessio Guglielmi},
  year = {2009},
  doi = {10.1145/1462179.1462186},
  url = {https://arxiv.org/abs/0709.1201},
  note = {Source identifier: 0709.1201}
}