@inproceedings(Aravantinos2009,
 author       = "Vincent Aravantinos and Ricardo Caferra and Nicolas Peltier",
 year         = "2009",
 title        = "A Schemata Calculus for Propositional Logic",
 booktitle    = "Automated Reasoning with Analytic Tableaux and Related Methods",
 series       = "Lecture Notes in Computer Science",
 volume       = "5607",
 publisher    = "Springer",
 pages        = "32--46",
 doi          = "10.1007/978-3-642-02716-1\_4",
)
@inproceedings(regstab-ijcar2010,
 author       = "Vincent Aravantinos and Ricardo Caferra and Nicolas Peltier",
 year         = "2010",
 title        = "{R}eg{S}{T}{A}{B}: {A} {S}{A}{T}-{S}olver for {P}ropositional {I}terated {S}chemata",
 booktitle    = "International Joint Conference on Automated Reasoning",
 pages        = "309--315",
 doi          = "10.1007/978-3-642-14203-1\_26",
)
@article(Aravantinos2011,
 author       = "Vincent Aravantinos and Ricardo Caferra and Nicolas Peltier",
 year         = "2011",
 title        = "Decidability and Undecidability Results for Propositional Schemata",
 journal      = "Journal of Artificial Intelligence Research",
 volume       = "40",
 pages        = "599--656",
 doi          = "10.1613/jair.3351",
)
@article(Baaz2000,
 author       = "Matthias Baaz and Alexander Leitsch",
 year         = "2000",
 title        = "Cut-elimination and Redundancy-elimination by Resolution",
 journal      = "Journal of Symbolic Computation",
 volume       = "29",
 number       = "2",
 pages        = "149--176",
 doi          = "10.1006/jsco.1999.0359",
)
@article(Baaz2006a,
 author       = "Matthias Baaz and Alexander Leitsch",
 year         = "2006",
 title        = "Towards a clausal analysis of cut-elimination",
 journal      = "Journal of Symbolic Computation",
 volume       = "41",
 number       = "3-4",
 pages        = "381--410",
 doi          = "10.1016/j.jsc.2003.10.005",
)
@misc(Schemata,
 author       = "Cvetan Dunchev and Alexander Leitsch and Mikheil Rukhaia and Daniel Weller",
 year         = "2010--2012",
 title        = "About {S}chemata {A}nd {P}roofs web page",
 note         = "\url {http://www.logic.at/asap}",
)
@article(Dunchev2012,
 author       = "Cvetan Dunchev and Alexander Leitsch and Mikheil Rukhaia and Daniel Weller",
 year         = "2012",
 title        = "{CERES} for First-Order Schemata",
 journal      = "submitted to the Journal of Logic and Computation",
)
@incollection(ijcar2010,
 author       = "Tsvetan Dunchev and Alexander Leitsch and Tomer Libal and Daniel Weller and Bruno Woltzenlogel Paleo",
 year         = "2010",
 title        = "System Description: The Proof Transformation System CERES",
 editor       = "J\IeC {\"u}rgen Giesl and Reiner H\IeC {\"a}hnle",
 booktitle    = "Automated Reasoning",
 series       = "Lecture Notes in Computer Science",
 volume       = "6173",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "427--433",
 doi          = "10.1007/978-3-642-14203-1\_36",
)
@article(Hetzl2011,
 author       = "Stefan Hetzl and Alexander Leitsch and Daniel Weller",
 year         = "2011",
 title        = "{CERES} in higher-order Logic",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "162",
 number       = "12",
 pages        = "1001--1034",
 doi          = "10.1016/j.apal.2011.06.005",
)
@inproceedings(HLW12,
 author       = "Stefan Hetzl and Alexander Leitsch and Daniel Weller",
 year         = "2012",
 title        = "Towards Algorithmic Cut-Introduction",
 editor       = "Nikolaj Bj\IeC {\o }rner and Andrei Voronkov",
 booktitle    = "Logic for Programming, Artificial Intelligence, and Reasoning",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "228--242",
 doi          = "10.1007/978-3-642-28717-6\_19",
)
@inproceedings(HLWWP08c,
 author       = "Stefan Hetzl and Alexander Leitsch and Daniel Weller and Bruno Woltzenlogel Paleo",
 year         = "2008",
 title        = "Herbrand Sequent Extraction",
 editor       = "Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk",
 booktitle    = "Intelligent Computer Mathematics",
 series       = "Lecture Notes in Computer Science",
 volume       = "5144",
 publisher    = "Springer Berlin",
 pages        = "462--477",
 doi          = "10.1007/978-3-540-85110-3\_38",
)
@inproceedings(ESARM2008,
 author       = "Stefan Hetzl and Alexander Leitsch and Daniel Weller and Bruno Woltzenlogel Paleo",
 year         = "2008",
 title        = "Proof Analysis with HLK, CERES and ProofTool - Current Status and Future Directions",
 editor       = "Geoff Sutcliffe and Simon Colton and Stephan Schulz",
 booktitle    = "Proceedings of the CICM Workshop on Empirically Successful Automated Reasoning in Mathematics",
 pages        = "23--41",
)
@inproceedings(KEAPPA2008,
 author       = "Stefan Hetzl and Alexander Leitsch and Daniel Weller and Bruno Woltzenlogel Paleo",
 year         = "2008",
 title        = "Transforming and Analyzing Proofs in the CERES-system",
 editor       = "Piotr Rudnicki and Geoff Sutcliffe and Boris Konev and Renate Schmidt and Stephan Schulz",
 booktitle    = "Proceedings of the LPAR 2008 Workshops Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics",
 pages        = "77--91",
)
@techreport(packrat,
 author       = "Manohar Jonnalagedda",
 year         = "2009",
 title        = "{Packrat Parsing in Scala.}",
 type         = "Technical Report",
 institution  = "\IeC {\'E}cole Polytechnique F\IeC {\'e}d\IeC {\'e}rale de Lausanne",
 note         = "Available at \url {http://scala-programming-language.1934581.n4.nabble.com/attachment/1956909/0/packrat_parsers.pdf}",
)
@unpublished(swing_library,
 author       = "Ingo Maier",
 year         = "2009",
 title        = "The scala.swing package",
 note         = "\url {http://www.scala-lang.org/sid/8}",
)
@unpublished(Prover9,
 author       = "William McCune",
 year         = "2005--2010",
 title        = "Prover9 and {M}ace4",
 note         = "\url {http://www.cs.unm.edu/~mccune/prover9/}",
)
@incollection(ivy,
 author       = "William McCune and Olga Shumsky",
 year         = "2000",
 title        = "{IVY: A Preprocessor and Proof Checker for First-order Logic}",
 editor       = "Matt Kaufmann and Panagiotis Manolios and J. Strother Moore",
 booktitle    = "Computer-Aided Reasoning: ACL2 Case Studies",
 publisher    = "Kluwer Academic Publishers",
 doi          = "10.1007/978-1-4757-3188-0\_16",
)
@book(Oderski2010,
 author       = "Martin Odersky and Lex Spoon and Bill Venners",
 year         = "2010",
 title        = "Programming in {S}cala: A Comprehensive Step-by-step Guide",
 edition      = "2nd",
 publisher    = "Artima, Inc.",
)
@inproceedings(Bruno2007,
 author       = "Bruno Woltzenlogel Paleo",
 year         = "2007",
 title        = "{An Approximate Gazetteer for GATE based on Levenshtein Edit Distance}",
 booktitle    = "Twelfth ESSLLI (European Summer School in Logic, Language and Information) Student Section",
 pages        = "197--208",
)
@mastersthesis(BrunoMSC,
 author       = "Bruno Woltzenlogel Paleo",
 year         = "2007",
 title        = "Herbrand Sequent Extraction",
 school       = "Vienna University of Technology",
)
@article(Riazanov2002,
 author       = "Alexandre Riazanov and Andrei Voronkov",
 year         = "2002",
 title        = "The design and implementation of VAMPIRE",
 journal      = "AI Commun.",
 volume       = "15",
 number       = "2,3",
 pages        = "91--110",
)
@inproceedings(LOUI,
 author       = "J\IeC {\"o}rg Siekmann and Stephan Hess and Christoph Benzm\IeC {\"u}ller and Lassaad Cheikhrouhou and Armin Fiedler and Helmut Horacek and Michael Kohlhase and Karsten Konrad and Andreas Meier and Erica Melis and Martin Pollet and Volker Sorge",
 year         = "1999",
 title        = "{LOUI}: {L}ovely {OMEGA} {U}ser {I}nterface",
 booktitle    = "Formal Aspects of Computing",
 pages        = "326--342",
)
@article(SS98,
 author       = "Geoff Sutcliffe",
 year         = "2009",
 title        = "{The TPTP Problem Library and Associated Infrastructure: The FOF and CNF Parts, v3.5.0}",
 journal      = "Journal of Automated Reasoning",
 volume       = "43",
 number       = "4",
 pages        = "337--362",
 doi          = "10.1007/s10817-009-9143-8",
)
@inproceedings(IDV,
 author       = "Steven Trac and Yury Puzis and Geoff Sutcliffe",
 year         = "2006",
 title        = "An {I}nteractive {D}erivation {V}iewer",
 booktitle    = "Proceedings of the 7th Workshop on Workshop on User Interfaces for Theorem Provers, 3rd International Joint Conference on Automated Reasoning, volume 174 of Electronic Notes in Theoretical Computer Science",
 pages        = "109--123",
)