Gianni, P.2022-03-022022-03-0219893-540-51084-20-387-51084-2https://publica.fraunhofer.de/handle/publica/126473Symbolic and algebraic computation. International Symposium ISSAC '88