José A. Maestro María Aránzazu Simón Hurtado Mario López Alejandra Martínez-Monés Carlos J. Alonso A Proposal of Diagnosis for an ITS for Computational Logic. 86-95 http://dx.doi.org/10.1007/978-3-540-25945-9_9 2003 conf/caepia/2003 CAEPIA db/conf/caepia/caepia2003.html#MaestroHLMA03