TY  - RPRT
TI  - Sublogarithmic uniform Boolean proof nets
AU  - Clément Aubert
PY  - 2012
DO  - 10.4204/eptcs.75.2
UR  - https://arxiv.org/abs/1201.1120
ID  - 1201.1120
ER  -