@misc{indiciae5a63a702f699,
  title = {Counting proofs in propositional logic},
  author = {René David and Marek Zaionc},
  year = {2009},
  doi = {10.1007/s00153-009-0119-5},
  url = {https://arxiv.org/abs/0905.2880},
  note = {Source identifier: 0905.2880}
}