Miola, A.2022-03-022022-03-0219933-540-57235-X0-387-57235-Xhttps://publica.fraunhofer.de/handle/publica/129864Design and implementation of symbolic computation systems international symposium, DISCO '93. Proceedings