Bustos Rubilar, Álvaro Sebastián, and Gonzalo Zubieta Badillo. “Discovery of Mathematical Knowledge by Reformulation of False Conjectures in an Proofs and Refutations Environment”. Enseñanza De Las Ciencias. Revista De investigación Y Experiencias didácticas, vol. 33, no. 3, Oct. 2015, pp. 117-36, doi:10.5565/rev/ensciencias.1630.