Design and implementation of symbolic computation systems international symposium, DISCO '96, Karlsruhe, Germany, September 18 - 20, 1996 ; proceedings (Springer, 1996)