Domain Specific Knowledge Representation for an Intelligent Tutoring System to Teach Algebraic Reasoning | Publicación