Journal of Symbolic Computation
Journal of Symbolic Computation > 2012 > 47 > 10 > 1233-1266
Journal of Symbolic Computation > 2015 > 68 > Part 1 > 204-224
Journal of Symbolic Computation > 2015 > 68 > Part 2 > 61-74
Journal of Symbolic Computation > 2016 > 72 > Complete > 182-195
Journal of Symbolic Computation > 2017 > 79 > P1 > 186-196
Journal of Symbolic Computation > 2018 > 84 > C > 25-56