".

Published in: ACM Commun. Comput. Algebra (2019)