Cristiano Galafassi, Fabiane Flores Penteado Galafassi, Rosa Maria Vicari, Eliseo Berni Reategui. EvoLogic: Toward an ITS for Teaching Propositional Logic. I. J. Artificial Intelligence in Education, 33(1):35-58, March 2023. [doi]
Abstract is missing.