Journal of Symbolic Computation

0.16720819473267