D. Nunes, L. Antunes, and F. Amblard. Progress in Artificial Intelligence, volume 8154 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)
L. Antunes, D. Nunes, H. Coelho, J. Balsa, and P. Urbano. Progress in Artificial Intelligence, volume 5816 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2009)
L. Radford. Proceedings of the 29th Conference of the International Group for the Psychology of Mathematics Education, 1, page 143-145. Melbourne, Australia, University of Melbourne, (2005)