The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic | Publicación