Foundations for Complete Exercise Generation. - Deniz Schmidt; Max Uzulis; Niklas Kersten; Ole Grasse; Johannes Hinckeldeyn; Jochen Kreutzfeldt (ITHET, 2022)