Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings - Miola, Alfonso, 1944- (Lecture notes in computer science@722, 1993)