D. Sommer: "Feedback on Oral Exams -- a new Approach Supported by Speech Recognition"; Supervisor: A. Ciabattoni; Logic and Computation, 2021.