R. Nkambou, J. Brisson, A. Tato, and S. Robert, “Learning Logical Reasoning Using an Intelligent Tutoring System: A Hybrid Approach to Student Modeling”, AAAI, vol. 37, no. 13, pp. 15930–15937, Jul. 2024.