TY  - RPRT
TI  - Counting proofs in propositional logic
AU  - René David
AU  - Marek Zaionc
PY  - 2009
DO  - 10.1007/s00153-009-0119-5
UR  - https://arxiv.org/abs/0905.2880
ID  - 0905.2880
ER  -