@Inproceedings{EPTCS75.2, author = {Aubert, Cl\'ement}, year = {2012}, title = {Sublogarithmic uniform Boolean proof nets}, editor = {Marion, Jean-Yves}, booktitle = {{\rm Proceedings Second Workshop on} Developments in Implicit Computational Complexity , {\rm Saarbr\"ucken, Germany, April 2nd and 3rd, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {75}, publisher = {Open Publishing Association}, pages = {15-27}, doi = {10.4204/EPTCS.75.2}, }