Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings (Springer, 1996)