@article(DBLP:journals/jsyml/Dyckhoff92,
 author       = "Roy Dyckhoff",
 year         = "1992",
 title        = "Contraction-Free Sequent Calculi for Intuitionistic Logic",
 journal      = "J. Symb. Log.",
 volume       = "57",
 number       = "3",
 pages        = "795--807",
 doi          = "10.2307/2275431",
)
@inproceedings(DPPSTTL94,
 author       = "Roy Dyckhoff and Lu\'{\i }s Pinto",
 year         = "1994",
 title        = "Uniform Proofs and Natural Deductions",
 editor       = "Didier Galmiche and Lincoln Wallen",
 booktitle    = "Proceedings of CADE--12 Workshop on Proof Search in Type-Theoretic Languages",
 publisher    = "INRIA Lorraine -- CRIN",
 pages        = "717--23",
 url          = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.9659",
)
@inproceedings(HerbelinCSL94,
 author       = "H. Herbelin",
 year         = "1995",
 title        = "A $\lambda $-calculus structure isomorphic to a {G}entzen-style sequent calculus structure",
 editor       = "L. Pacholski and J. Tiuryn",
 booktitle    = "Proceedings of CSL'94",
 series       = "Lecture Notes in Computer Science",
 volume       = "933",
 publisher    = "Springer-Verlag",
 pages        = "61--75",
 doi          = "10.1007/BFb0022247",
)
@inproceedings(DBLP:conf/amast/KomendantskayaMP10,
 author       = "Ekaterina Komendantskaya and Guy McCusker and John Power",
 year         = "2010",
 title        = "Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming",
 editor       = "Michael Johnson and Dusko Pavlovic",
 booktitle    = "AMAST",
 series       = "Lecture Notes in Computer Science",
 volume       = "6486",
 publisher    = "Springer",
 pages        = "111--127",
 doi          = "10.1007/978-3-642-17796-5\_7",
)
@inproceedings(DBLP:conf/csl/KomendantskayaP11,
 author       = "Ekaterina Komendantskaya and John Power",
 year         = "2011",
 title        = "Coalgebraic Derivations in Logic Programming",
 editor       = "Marc Bezem",
 booktitle    = "CSL",
 series       = "LIPIcs",
 volume       = "12",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik",
 pages        = "352--366",
 doi          = "10.4230/LIPIcs.CSL.2011.352",
)
@inproceedings(DBLP:conf/calco/KomendantskayaP11,
 author       = "Ekaterina Komendantskaya and John Power",
 year         = "2011",
 title        = "Coalgebraic Semantics for Derivations in Logic Programming",
 editor       = "Andrea Corradini and Bartek Klin and Corina C\^{\i }rstea",
 booktitle    = "CALCO",
 series       = "Lecture Notes in Computer Science",
 volume       = "6859",
 publisher    = "Springer",
 pages        = "268--282",
 doi          = "10.1007/978-3-642-22944-2\_19",
)
@article(LiangMillerTCS09,
 author       = "Chuck Liang and Dale Miller",
 year         = "2009",
 title        = "Focusing and Polarization in Linear, Intuitionistic, and Classical Logic",
 journal      = "Theoretical Computer Science",
 volume       = "410",
 pages        = "4747--4768",
 doi          = "10.1016/j.tcs.2009.07.041",
)
@article(DBLP:journals/apal/MillerNPS91,
 author       = "Dale Miller and Gopalan Nadathur and Frank Pfenning and Andre Scedrov",
 year         = "1991",
 title        = "Uniform Proofs as a Foundation for Logic Programming",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "51",
 number       = "1-2",
 pages        = "125--157",
 doi          = "10.1016/0168-0072(91)90068-W",
)
@inproceedings(NUB,
 author       = "Keiko Nakata and Tarmo Uustalu and Marc Bezem",
 year         = "2011",
 title        = "A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction",
 editor       = "Hongseok Yang",
 booktitle    = "APLAS",
 series       = "LNCS",
 volume       = "7078",
 publisher    = "Springer",
 pages        = "353--368",
 doi          = "10.1007/978-3-642-25318-8\_26",
)
@inproceedings(PicardMatthesCMCS12,
 author       = "Celia Picard and Ralph Matthes",
 year         = "2012",
 title        = "Permutations in Coinductive Graph Representation",
 editor       = "Dirk Pattinson and Lutz Schr\"oder",
 booktitle    = "Coalgebraic Methods in Computer Science (CMCS 2012)",
 series       = "Lecture Notes in Computer Science, IFIP subseries",
 volume       = "7399",
 publisher    = "Springer",
 pages        = "218--237",
 doi          = "10.1007/978-3-642-32784-1\_12",
)
@book(pym2004reductive,
 author       = "D.J. Pym and E. Ritter",
 year         = "2004",
 title        = "Reductive Logic and Proof-search: Proof Theory, Semantics, and Control",
 series       = "Oxford Logic Guides",
 publisher    = "Oxford University Press, Incorporated",
 doi          = "10.1093/acprof:oso/9780198526339.001.0001",
)