Automated Theorem Proving in the Classroom - Windsteiger, Wolfgang (Electronic proceedings in theoretical computer science, 2021)