João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, Luís Soares Barbosa, J. N. Oliveira. Logic Training through Algorithmic Problem Solving. In Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano, editors, Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Volume 6680 of Lecture Notes in Computer Science, pages 62-69, Springer, 2011. [doi]
Abstract is missing.