J. Seoane, “Lagunas expresivas en la demostración euclidiana”, CRHF, vol. 57, no. 170, pp. 33–63, Sep. 2025.