Ferreira JF, Mendes A, Cunha A, Moreno CB, Silva P, Barbosa LS, Oliveira JN.? 2011.??Logic Training through Algorithmic Problem Solving. Tools for Teaching Logic. 6680:62-69.