Journal of Symbolic Computation
Journal of Symbolic Computation > 2017 > 79 > P1 > 140-155
Journal of Symbolic Computation > 2017 > 80 > P2 > 403-415
Journal of Symbolic Computation > 2017 > 79 > P1 > 140-155
Journal of Symbolic Computation > 2017 > 80 > P2 > 403-415