ARCHIMEDES: An Intelligent Geometry Tutoring System. - Eugène Chouraqui; Carlo Ingilterra; Jean Véronis (AIMSA, 1988)