@inproceedings(Abel2001,
 author       = {Andreas Abel and Bor-Yuh Evan Chang and Frank Pfenning},
 year         = {2001},
 title        = {Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic},
 editor       = {Uwe Egly and Armin Fiedler and Helmut Horack and Stephan Schmitt},
 booktitle    = {{Proceedings of the Workshop on Proof Transformations, Proof Presentations, and Complexity of Proofs, Siena 2001}},
 pages        = {37--50},
 doi          = {10.1.1.25.4339},
)
@article(Aubin,
 author       = {Raymond Aubin},
 year         = {1979},
 title        = {Mechanizing structural induction part I: Formal system},
 journal      = {Theoretical Computer Science},
 volume       = {9},
 number       = {3},
 pages        = {329 -- 345},
 doi          = {10.1016/0304-3975(79)90034-3},
)
@article(Avital1978,
 author       = {Shmuel Avital and Shlomo Libeskind},
 year         = {1978},
 title        = {Mathematical induction in the classroom: Didactical and mathematical issues},
 journal      = {Educational Studies in Mathematics},
 pages        = {429--438},
 doi          = {10.1007/BF00410588},
)
@article(Billingsley2007,
 author       = {William Billingsley and Peter Robinson},
 year         = {2007},
 title        = {Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book},
 journal      = {Journal of Automated Reasoning},
 volume       = {39},
 number       = {2},
 pages        = {181--218},
 doi          = {10.1007/s10817-007-9072-3},
)
@book(Boyer98,
 author       = {R.S. Boyer and J.S. Moore},
 year         = {1998},
 title        = {A Computational Logic Handbook},
 series       = {Academic Press International series in Formal Methods},
 publisher    = {Academic Press},
 doi          = {10.1016/C2013-0-10412-6},
)
@book(Bundy2005,
 author       = {A. Bundy},
 year         = {2005},
 title        = {Rippling: Meta-Level Guidance for Mathematical Reasoning},
 series       = {Cambridge Tracts in Theoretica},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511543326},
)
@incollection(bundy2001,
 author       = {Alan Bundy},
 year         = {2001},
 title        = {The Automation of Proof by Mathematical Induction},
 booktitle    = {Handbook of Automated Reasoning (in 2 volumes)},
 pages        = {845--911},
 doi          = {10.1016/b978-044450813-3/50015-1},
)
@article(Dubinsky,
 author       = {Ed Dubinsky},
 year         = {1986},
 title        = {Teaching mathematical induction 1},
 journal      = {The journal of mathematical behavior},
 volume       = {5},
 number       = {3},
 pages        = {305--317},
)
@book(deensley,
 author       = {Douglas E. Ensley and Winston Crawley, J},
 year         = {2006},
 title        = {Discrete Mathematics with Student Solutions Manual Set},
 publisher    = {Wiley},
)
@article(ernest,
 author       = {Paul Ernest},
 year         = {1984},
 title        = {Mathematical induction: A pedagogical discussion},
 journal      = {Educational Studies in Mathematics},
 volume       = {15},
 number       = {2},
 pages        = {173--189},
 doi          = {10.1007/BF00305895},
)
@phdthesis(Goguadze,
 author       = {George Goguadze},
 year         = {2010},
 title        = {ActiveMath - generation and reuse of interactive exercises using domain reasoners and automated tutorial strategies},
 doi          = {10.22028/D291-26097},
)
@inproceedings(Gruttmann2008,
 author       = {S. Gruttmann and D. B{\"o}hm and H. Kuchen},
 year         = {2008},
 title        = {E-Assessment of Mathematical Proofs --- Chances and Challenges for Students and Tutors},
 booktitle    = {Proceedings of the 2008 International Conference on Information Technology in Education},
 address      = {Wuhan,China},
 doi          = {10.1109/CSSE.2008.95},
)
@inproceedings(Harel01,
 author       = {Guershon Harel},
 year         = {2001},
 title        = {The development of mathematical induction as a proof scheme: A model for DNR-based instruction},
 editor       = {S. Campbell, R. Zaksis},
 booktitle    = {Learning and teaching number theory},
 publisher    = {Kluwer Academic},
 pages        = {185--212},
 doi          = {10.1023/A:1023682216523},
)
@article(hattietimperley,
 author       = {John Hattie and Helen Timperley},
 year         = {2007},
 title        = {The power of feedback},
 journal      = {Review of Educational Research},
 volume       = {77},
 number       = {1},
 pages        = {81--112},
 doi          = {10.3102/00346543029848},
)
@article(feedbackservicesjournal,
 author       = {Bastiaan Heeren and Johan Jeuring},
 year         = {2014},
 title        = {Feedback services for stepwise exercises},
 journal      = {Science of Computer Programming, Special Issue on Software Development Concerns in the e-Learning Domain},
 volume       = {88},
 pages        = {110--129},
 doi          = {10.1016/j.scico.2014.02.021},
)
@article(Kodaganallur,
 author       = {Viswanathan Kodaganallur and Rob R. Weitz and David Rosenthal},
 year         = {2005},
 title        = {A Comparison of Model-Tracing and Constraint-Based Intelligent Tutoring Paradigms},
 journal      = {Int. J. Artif. Intell. Ed.},
 volume       = {15},
 number       = {2},
 pages        = {117--144},
 url          = {http://dl.acm.org/citation.cfm?id=1434925.1434928},
)
@incollection(kreisel,
 author       = {Georg Kreisel},
 year         = {1965},
 title        = {Mathematical logic},
 editor       = {T Saaty},
 booktitle    = {Lectures on modern mathematics},
 volume       = {3},
 publisher    = {John Wiley \& Sons, Inc., New York, London, and Sydney},
 pages        = {95--195},
)
@inproceedings(logax,
 author       = {Josje Lodder and Bastiaan Heeren and Johan Jeuring},
 year         = {2017},
 title        = {Generating Hints and Feedback for Hilbert-style Axiomatic Proofs},
 editor       = {Michael E. Caspersen and Stephen H. Edwards and Tiffany Barnes and Daniel D. Garcia},
 booktitle    = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017},
 publisher    = {{ACM}},
 pages        = {387--392},
 doi          = {10.1145/3017680.3017736},
)
@article(jcal,
 author       = {Josje Lodder and Bastiaan Heeren and Johan Jeuring},
 year         = {2019},
 title        = {A comparison of elaborated and restricted feedback in {LogEx}, a tool for teaching rewriting logical formulae},
 journal      = {Journal of Computer Assisted Learning},
 volume       = {35},
 number       = {5},
 pages        = {620--632},
 doi          = {10.1111/jcal.12365},
)
@article(Mitrovic2012,
 author       = {Antonija Mitrovic},
 year         = {2012},
 title        = {Fifteen years of constraint-based tutors: what we have achieved and where we are going},
 journal      = {User Modeling and User-Adapted Interaction},
 volume       = {22},
 number       = {1},
 pages        = {39--72},
 doi          = {10.1007/s11257-011-9105-9},
)
@article(Mitrovic2007,
 author       = {Antonija Mitrovic and Brent Martin and Pramuditha Suraweera},
 year         = {2007},
 title        = {Intelligent Tutors for All: The Constraint-Based Approach},
 journal      = {Intelligent Systems, IEEE},
 volume       = {22},
 pages        = {38--45},
 doi          = {10.1109/MIS.2007.74},
)
@inproceedings(Mueller2010,
 author       = {Wolfgang M{\"u}ller and Hiob-Viertler, Maren},
 year         = {2010},
 title        = {Intelligent Assessment in Math Education for Complete Induction Problems},
 editor       = {Xiaopeng Zhang and Shaochun Zhong and Zhigeng Pan and Kevin Wong and Ruwei Yun},
 booktitle    = {Entertainment for Education. Digital Techniques and Systems: 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {317--325},
 doi          = {10.1007/978-3-642-14533-9},
)
@inproceedings(Ohlsson,
 author       = {Stellan Ohlsson},
 year         = {1994},
 title        = {Constraint-Based Student Modeling},
 editor       = {Jim E. Greer and Gordon I. McCalla},
 booktitle    = {Student Modelling: The Key to Individualized Knowledge-Based Instruction},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {167--189},
 doi          = {10.1007/978-3-662-03037-0},
)
@inproceedings(Osera,
 author       = {Peter-Michael Osera and Steve Zdancewic},
 year         = {2013},
 title        = {Teaching Induction with Functional Programming and a Proof Assistant.},
 booktitle    = {{SPLASH Educators Symposium (SPLASH-E), 2013}},
)
@article(palla,
 author       = {Marina Palla and Despina Potari and Panagiotis Spyrou},
 year         = {2012},
 title        = {Secondary school students’ understanding of mathematical induction: structural characteristics and the process of proof construction},
 journal      = {International Journal of Science and Mathematics Education},
 volume       = {10},
 number       = {5},
 pages        = {1023--1045},
 doi          = {10.1007/s10763-011-9311-2},
)
@article(Pavlekovic,
 author       = {Margrital Pavlekovi\`{c}},
 year         = {1998},
 title        = {An approach to mathematical induction - starting from the early stages of teaching mathematics},
 journal      = {Mathematical communcations},
 pages        = {135--142},
 url          = {https://hrcak.srce.hr/1798},
)
@phdthesis(Polycarpou,
 author       = {Irene Polycarpou},
 year         = {2008},
 title        = {An Innovative Approach to Teaching Structural Induction for Computer Science},
 school       = {Florida International University},
 doi          = {10.25148/etd.FI08121912},
)
@incollection(ComInM,
 author       = {Sandra Rebholz and Marc Zimmermann},
 year         = {2013},
 title        = {Applying Computer-Aided Intelligent Assessment in the Context of Mathematical Induction},
 editor       = {Zhigeng Pan and Adrian David Cheok and Wolfgang M{\"u}ller and Ido Iurgel and Paolo Petta and Bodo Urban},
 booktitle    = {Transactions on Edutainment X},
 series       = {Lecture Notes in Computer Science},
 volume       = {7775},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {191--201},
 doi          = {10.1007/978-3-642-37919-2{\_}11},
)