@article(bornat1996jape,
 author       = {Richard Bornat and Bernard Sufrin},
 year         = {1996},
 title        = {Jape's quiet interface},
 journal      = {User Interfaces for Theorem Provers UITP'98},
)
@book(d1999handbook,
 author       = {M. D'Agostino and D.M. Gabbay and R. H{\"a}hnle and J. Posegga},
 year         = {1999},
 title        = {Handbook of Tableau Methods},
 publisher    = {Springer Netherlands},
 doi          = {10.1007/978-94-017-1754-0},
)
@book(vanDalen2013,
 author       = {Dirk van Dalen},
 year         = {2013},
 title        = {Logic and Structure (5th Ed.)},
 publisher    = {Springer London},
 address      = {London},
 doi          = {10.1007/978-1-4471-4558-5},
)
@book(Fitting1996,
 author       = {Melvin Fitting},
 year         = {1996},
 title        = {First-Order Logic and Automated Theorem Proving (2nd Ed.)},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-1-4612-2360-3},
)
@inproceedings(EPTCS357.4,
 author       = {Asta Halkj{\ae}r From and Frederik Krogsdal Jacobsen and J{\o}rgen Villadsen},
 year         = {2022},
 title        = {SeCaV: A Sequent Calculus Verifier in Isabelle/HOL},
 editor       = {Ayala-Rincon, Mauricio and Eduardo Bonelli},
 booktitle    = {{\rm Proceedings 16th} Logical and Semantic Frameworks with Applications, {\rm Buenos Aires, Argentina (Online), 23rd - 24th July, 2021}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {357},
 publisher    = {Open Publishing Association},
 pages        = {38--55},
 doi          = {10.4204/EPTCS.357.4},
)
@inproceedings(Panda2011,
 author       = {Olivier Gasquet and Fran{\c{c}}ois Schwarzentruber and Martin Strecker},
 year         = {2011},
 title        = {Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students},
 editor       = {Patrick Blackburn and Hans van Ditmarsch and Mar{\'i}a Manzano and Soler-Toscano, Fernando},
 booktitle    = {Tools for Teaching Logic},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {85--92},
 doi          = {10.1007/978-3-642-21350-2_11},
)
@book(gentzen1969collected,
 author       = {Gerhard Gentzen},
 year         = {1969},
 title        = {The collected papers},
 publisher    = {North-Holland Publishing Company},
 doi          = {10.2307/2272429},
)
@book(huth2004logic,
 author       = {Michael Huth and Mark Ryan},
 year         = {2004},
 title        = {Logic in Computer Science: Modelling and Reasoning about Systems (2nd Ed.)},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511810275},
)
@inproceedings(EPTCS267.5,
 author       = {Leach-Krouse, Graham},
 year         = {2018},
 title        = {Carnap: An Open Framework for Formal Reasoning in the Browser},
 editor       = {Pedro Quaresma and Walther Neuper},
 booktitle    = {{\rm Proceedings 6th International Workshop on} Theorem proving components for Educational software, {\rm Gothenburg, Sweden, 6 Aug 2017}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {267},
 publisher    = {Open Publishing Association},
 pages        = {70--88},
 doi          = {10.4204/EPTCS.267.5},
)
@article(ProofWeb2010,
 author       = {Hendriks Maxim and Cezary Kaliszyk and Femke van Raamsdonk and Freek Wiedijk},
 year         = {2010},
 title        = {Teaching logic using a state-of-art proof assistant},
 journal      = {Acta Didactica Napocensia},
 volume       = {3},
 url          = {https://files.eric.ed.gov/fulltext/EJ1056118.pdf},
)
@book(Finger2006,
 author       = {F.S.C. da Silva and M. Finger and A.C.V. de Melo},
 year         = {2006},
 title        = {L{\'o}gica para computa{\c{c}}{\~a}o},
 publisher    = {Cengage Learning},
 url          = {https://books.google.com.br/books?id=w27uOgAACAAJ},
)
@book(smullyan1995first,
 author       = {R.M. Smullyan},
 year         = {1995},
 title        = {First-order Logic},
 series       = {Dover books on advanced mathematics},
 publisher    = {Dover},
 doi          = {10.1007/978-3-642-86718-7},
)
@book(de2008logica,
 author       = {J.N. de Souza},
 year         = {2008},
 title        = {Logica Para Ciencia da Computa{\c{c}}{\~a}o},
 series       = {Campus SBC},
 publisher    = {Elsevier},
 url          = {https://books.google.com.br/books?id=Y8GEsUoRKiEC},
)
@inproceedings(NADIA:22,
 author       = {D. R. Vasconcelos and R. Paula and M. V. Menezes},
 year         = {2022},
 title        = {NADIA - Natural DeductIon proof Assistant},
 booktitle    = {Anais do XXX Workshop sobre Educação em Computação},
 publisher    = {SBC},
 address      = {Porto Alegre, RS, Brasil},
 pages        = {427--438},
 doi          = {10.5753/wei.2022.222875},
)
@inproceedings(EPTCS267.9,
 author       = {J{\o}rgen Villadsen and Andreas Halkj{\ae}r From and Anders Schlichtkrull},
 year         = {2018},
 title        = {Natural Deduction and the Isabelle Proof Assistant},
 editor       = {Pedro Quaresma and Walther Neuper},
 booktitle    = {{\rm Proceedings 6th International Workshop on} Theorem proving components for Educational software, {\rm Gothenburg, Sweden, 6 Aug 2017}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {267},
 publisher    = {Open Publishing Association},
 pages        = {140--155},
 doi          = {10.4204/EPTCS.267.9},
)