Gonzales-Vega, L.2022-03-022022-03-022008978-1-59593-904-3https://publica.fraunhofer.de/handle/publica/146788ISSAC 2008, ACM-SIGSAM International Symposium on Symbolic and Algebraic Computation. Proceedings