Iannone, P., Inglis, M., Mejia-Ramos, J., Simpson, A., & Weber, K. (2011). Does generating examples aid proof production?. Educational Studies in Mathematics, 77(1), 1-14. https://doi.org/10.1007/s10649-011-9299-0