K. Carlson, “SI Report-Harmonic Aristotle Automated Theorem Prover”, SI, vol. 3, no. 3, Sep. 2026.