Prototype of an Automated Feedback Tool for Intro CS Theory. - Ivona Bezáková; Edith Hemaspaandra; Aryeh Lieberman; Hannah Miller; David E. Narváez (SIGCSE, 2020)