A Case Study in Computer-Assisted Meta-reasoning. - Asta Halkjær From; Simon Tobias Lund; Jørgen Villadsen (DCAI (2), 2021)

On Verified Automated Reasoning in Propositional Logic. - Simon Tobias Lund; Jørgen Villadsen (ACIIDS (1), 2022)

Teaching Higher-Order Logic Using Isabelle. - Simon Tobias Lund; Jørgen Villadsen (ThEdu@CADE, 2023)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students. - Simon Tobias Lund; Jørgen Villadsen (Vietnam. J. Comput. Sci., 2024)