Pilar Prieto Linillos Sergio Gutiérrez Santos Abelardo Pardo Carlos Delgado Kloos Guaranteeing the Correctness of an Adaptive Tutoring System. 329-332 2008 AH http://dx.doi.org/10.1007/978-3-540-70987-9_46 conf/ah/2008 db/conf/ah/ah2008.html#LinillosGPK08