Journal of Symbolic Computation
Journal of Symbolic Computation > 2009 > 44 > 9 > 1176-1193
Journal of Symbolic Computation > 2017 > 79 > P1 > 186-196
Journal of Symbolic Computation > 2017 > 80 > P2 > 285-306
Journal of Symbolic Computation > 2017 > 83 > C > 342-364