“A Symbolic Model of Proof Acquisition in ACT-R”. University of Denver Undergraduate Research Journal 7, no. 1 (May 22, 2026). Accessed May 22, 2026. https://duurjportal.com/index.php/duurj/article/view/263.