@inproceedings(Alves2011,
 author       = "Sandra Alves and Maribel Fern\'andez and Ian Mackie",
 year         = "2011",
 title        = "A new graphical calculus of proofs",
 editor       = "Rachid Echahed",
 booktitle    = "Proceedings of TERMGRAPH 2011",
 series       = "EPTCS",
 volume       = "48",
 pages        = "69--84",
 doi          = "10.4204/EPTCS.48.8",
)
@article(BonetB1993,
 author       = "Maria Luisa Bonet and Samuel R. Buss",
 year         = "1993",
 title        = "The Deduction Rule and Linear and Near-Linear Proof Simulations",
 journal      = "Journal of Symbolic Logic",
 volume       = "58",
 number       = "2",
 pages        = "688--709",
 doi          = "10.2307/2275228",
)
@phdthesis(Vaston07,
 author       = "Vaston Gon\c {c}alves da Costa",
 year         = "2007",
 title        = "Compacta{\c c}{\~a}o de Provas L{\'o}gicas",
 school       = "Departamento de Inform{\'a}tica, PUC--Rio",
 url          = "http://www.maxwell.lambda.ele.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10018@2",
)
@incollection(Finger2005,
 author       = "M. Finger",
 year         = "2005",
 title        = "DAG Sequent Proofs with a Substitution Rule",
 booktitle    = "{We will show Them} -- Essays in honour of Dov Gabbay 60th birthday",
 series       = "Kings College Publications",
 volume       = "1",
 publisher    = "Kings College",
 address      = "London",
 pages        = "671--686",
 url          = "http://www.ime.usp.br/~mfinger/home/papers/FW04.pdf",
)
@article(Geuvers2007,
 author       = "Herman Geuvers and Iris Loeb",
 year         = "2007",
 title        = "Natural Deduction via Graphs: Formal Definition and Computation Rules",
 journal      = "Mathematical. Structures in Comp. Sci.",
 volume       = "17",
 number       = "3",
 pages        = "485--526",
 doi          = "10.1017/S0960129507006123",
)
@book(Girard2,
 author       = "J.-Y. Girard and Y. Lafont and L. Regnier",
 year         = "1995",
 title        = "Advances in Linear Logic",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511629150",
 note         = "Proceedings of the Workshop on Linear Logic, Ithaca, New York, June 1993",
)
@inproceedings(Girard1,
 author       = "Jean yves Girard",
 year         = "1996",
 title        = "Proof-nets: The parallel syntax for proof-theory",
 booktitle    = "Logic and Algebra",
 publisher    = "Dekker",
 pages        = "97--124",
 url          = "iml.univ-mrs.fr/~girard/Proofnets.ps.gz",
)
@article(Gordeev2009,
 author       = "L. Gordeev and E. H. Haeusler and V. G. Costa",
 year         = "2009",
 title        = "Proof compressions with circuit-structured substitutions",
 journal      = "Journal of Mathematical Sciences",
 volume       = "158",
 number       = "5",
 pages        = "645--658",
 doi          = "10.1007/s10958-009-9405-3",
)
@article(Haeusler2013,
 author       = "E.H. Haeusler",
 year         = "2013",
 title        = "A proof-theoretical discussion on the mechanization of propositional logics",
 journal      = "Electronic Proceedings in Theoretical Computer Science Vol. 113, pp. 7-8",
 doi          = "10.4204/EPTCS.113",
 url          = "http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?LSFA2012#EPTCS113.3",
)
@incollection(deOliveira2003,
 author       = "Anjolina Grisi Oliveira and Ruy J.G.B. Queiroz",
 year         = "2003",
 title        = "Geometry of Deduction Via Graphs of Proofs",
 editor       = "Ruy J.G.B. Queiroz",
 booktitle    = "Logic for Concurrency and Synchronisation",
 series       = "Trends in Logic",
 volume       = "15",
 publisher    = "Springer Netherlands",
 pages        = "3--88",
 doi          = "10.1007/0-306-48088-3\_1",
)
@article(Statman79,
 author       = "R. Statman",
 year         = "1979",
 title        = "Intuitionistic Propositional Logic is Polynomial-Space Complete",
 journal      = "Theoretical Computer Science",
 volume       = "9",
 pages        = "67--72",
 doi          = "10.1016/0304-3975(79)90006-9",
 url          = "http://www.sciencedirect.com/science/article/pii/0304397579900069",
)