@article(barrington90,
 author       = "David~A. Barrington and Neil Immerman and Howard Straubing",
 year         = "1990",
 title        = "{On uniformity within NC1}",
 journal      = "Journal of Computer and System Sciences",
 volume       = "41",
 number       = "3",
 pages        = "274--306",
 doi          = "10.1109/SCT.1988.5262",
)
@article(danos90,
 author       = "Vincent Danos",
 year         = "1990",
 title        = "{La Logique Lin{\'e}aire appliqu{\'e}e {\`a} l\IeC {\textquoteright }{\'e}tude de divers processus de normalisation (principalement du $\lambda $-calcul)}",
 journal      = "These de doctorat, Universit{\'e} Paris VII",
)
@article(danos89,
 author       = "Vincent Danos and Laurent Regnier",
 year         = "1989",
 title        = "{The structure of multiplicatives}",
 journal      = "Archive for Mathematical logic",
 volume       = "28",
 number       = "3",
 pages        = "181--203",
 doi          = "10.1007/BF01622878",
)
@article(girard96,
 author       = "Jean-Yves Girard",
 year         = "1996",
 title        = "{Proof-nets: The parallel syntax for proof-theory}",
 journal      = "Logic and Algebra",
 volume       = "180",
 pages        = "97--124",
)
@article(hesse02,
 author       = "William Hesse and Eric Allender and David~A. {Barrington}",
 year         = "2002",
 title        = "{Uniform constant-depth threshold circuits for division and iterated multiplication}",
 journal      = "Journal of Computer and System Sciences",
 volume       = "65",
 number       = "4",
 pages        = "695--716",
 doi          = "10.1016/S0022-0000(02)00025-9",
 url          = "http://ftp.cs.rutgers.edu/pub/allender/division.pdf",
)
@inproceedings(mogbil09,
 author       = "Virgile Mogbil",
 year         = "2009",
 title        = "{Non-deterministic Boolean Proof Nets}",
 booktitle    = "Proceedings of FOPARA'09",
 series       = "Lecture Notes in Computer Science",
 volume       = "6324",
 publisher    = "Springer",
 pages        = "131--145",
 doi          = "10.1007/978-3-642-15331-0\_9",
 url          = "http://hal.archives-ouvertes.fr/docs/00/44/39/25/PDF/nBPN\_preprintLIPN09.pdf",
)
@inproceedings(mogbil-uniform,
 author       = "Virgile Mogbil and Vincent Rahli",
 year         = "2007",
 title        = "{Uniform circuits, \& Boolean proof nets}",
 booktitle    = "Proceedings of LFCS'07",
 series       = "Lecture Notes in Computer Science",
 volume       = "4514",
 publisher    = "Springer",
 pages        = "401--421",
 doi          = "10.1007/978-3-540-72734-7\_28",
 url          = "http://hal.archives-ouvertes.fr/docs/00/14/39/28/PDF/mwBN\_preprintLIPN07.pdf",
)
@inproceedings(terui04,
 author       = "Kazushige Terui",
 year         = "2004",
 title        = "{{Proof} Nets and Boolean Circuits}",
 booktitle    = "Proceedings of LICS'04",
 pages        = "182--191",
 doi          = "10.1109/LICS.2004.1319612",
 url          = "http://www.kurims.kyoto-u.ac.jp/~terui/pn.pdf",
)
@book(vollmer99,
 author       = "Heribert Vollmer",
 year         = "1999",
 title        = "{Introduction to Circuit Complexity: A Uniform Approach}",
 publisher    = "Springer Verlag",
)