1. Aleven, V. (2010). Rule-based cognitive modeling for intelligent tutoring systems. In R. Nkambou, J. Bourdeau, & R. Mizoguchi (Eds.), Advances in intelligent tutoring systems (Vol. 308, pp. 33–62). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-14363-2_3 .
2. Anderson, J. R. (1983). The architecture of cognition. Cambridge, MA, USA: Harvard University Press.
3. Anderson, J. R., Boyle, C. F., & Yost, G. (1988). The geometry proof tutor (Advanced Computer Tutoring Project). Carnegie-Mellon University, Pittsburgh, PA 15213. Retrieved from http://act-r.psy.cmu.edu/wordpress/wp-content/uploads/2012/12/124GeoTutor.ABYost.pdf .
4. Anderson, J. R., Corbett, A. T., Koedinger, K. R., & Pelletier, R. (1995). Cognitive tutors: Lessons learned. Journal of the Learning Sciences, 4(2), 167–207. https://doi.org/10.1207/s15327809jls0402_2 .
5. Annals of Mathematics. (n.d.). Statement by the editors on computer-assisted proofs. Retrieved 22 January, 2019, from http://annals.math.princeton.edu/board .