TUDER: An Intelligent Tutoring System for Symbolic Derivation. - Eva Millán; José-Luis Pérez-de-la-Cruz; Francisco Triguero Ruiz; L. Vázquez-Sáenz (CALISCE, 1996)