Using IDEAS in Teaching Logic, Lessons Learned. - Josje Lodder; Harrie Passier; Sylvia Stuurman (CSSE (5), 2008)

A Teaching Tool for Proving Equivalences between Logical Formulae. - Josje Lodder; Bastiaan Heeren (TICTTL, 2011)

A pilot study of the use of LogEx, lessons learned. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (CoRR, 2015)

A Domain Reasoner for Propositional Logic. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (J. Univers. Comput. Sci., 2016)

Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (SIGCSE, 2017)

Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (ThEdu@CADE, 2019)

A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (J. Comput. Assist. Learn., 2019)

Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. - Josje Lodder; Bastiaan Heeren; Johan Jeuring; Wendy Neijenhuis (Int. J. Artif. Intell. Educ., 2021)