Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings - Calmet, Jacques; Limongelli, Carla (Lecture notes in computer science, 1996)