S. Hadi, A. Fauzi, A. F. Dewi, and C. Sa’dijah, “Deconstructing cognitive fractures in visual-to-formal proof transitions: A diagnostic audit of proof without words tasks”, Factor M, vol. 9, no. 2, pp. 283–302, Sep. 2026.