Online Generation of Proofs Without Words. - Alexander Thaller; Zoltán Kovács (ADG, 2021)