Tool-Assisted Learning of Computational Reductions. - Tristan Kneisel; Elias Radtke; Marko Schmellenkamp; Fabian Vehlken; Thomas Zeume (SIGCSE (1), 2025)