A Symbolic Model of Proof Acquisition in ACT-R. DUURJ 2026, 7 (1).