“A Symbolic Model of Proof Acquisition in ACT-R”, DUURJ, vol. 7, no. 1, May 2026, Accessed: May 22, 2026. [Online]. Available: https://www.duurjportal.com/index.php/duurj/article/view/263