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