Guaranteeing the Correctness of an Adaptive Tutoring System | Publicación