Hong, H.2022-03-022022-03-021994981-022040-5https://publica.fraunhofer.de/handle/publica/130711First International Symposium on Parallel Symbolic Computation, PASCO 1994