Journal of Symbolic Computation
Journal of Symbolic Computation > 2017 > 79 > P2 > 372-383
Journal of Symbolic Computation > 2017 > 80 > P3 > 616-664
Journal of Symbolic Computation > 2017 > 79 > P2 > 372-383
Journal of Symbolic Computation > 2017 > 80 > P3 > 616-664