Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science. - Maurice Herwig; Norbert Hundeshagen; Marit Kastaun; Cedric Kollenberg (DeLFI, 2024)