1. Arzarello, F., Micheletti, C., Olivero, F., & Robutti, O. (1998). A model for analyzing the transition to formal proofs in geometry. In A. Olivier & K. Newstead (Eds.), Proceedings of the twentieth-second annual conference of the International Group for the Psychology of Mathematics Education (vol. 2, pp. 24–31). Stellenbosch, South Africa.
2. Balacheff, N. (2009). Bridging knowing and proving in mathematics: A didactical perspective. In G. Hanna, H. N. Jahnke, & H. Pulte (Eds.), Explanation and proof in mathematics. Philosophical and educational perspectives (pp. 115–135). Springer.
3. Boero, P., Garuti, R., & Mariotti M. A. (1996). Some dynamic mental processes underlying producing and proving conjectures. In L. Puig & A. Gutierrez (Eds.), Proceedings of the twentieth conference of the International Group for the Psychology of Mathematics Education (vol. 2, pp. 121–128). Valencia.
4. Bonfantini, M., & Proni, G. (1983). To guess or not to guess. In U. Eco & T. Sebeok (Eds.), The sign of three: Dupin, Holmes, Peirce (pp. 119–134). Indiana University Press.
5. Cifarelli, V. (1999). Abductive inference: connections between problem posing and solving. In O. Zaslavsky (Ed.), Proceedings of the 23rd annual conference of the International Group for the Psychology of Mathematics Education (vol. 2, pp. 217–224). Haifa, Israel.