A Proposal of Diagnosis for an ITS for Computational Logic | Publicación