Learning to solve arithmetic problems with a virtual abacus. - Flavio Petruzzellis; Ling Xuan Chen; Alberto Testolin (NLDL, 2023)