Journal of Symbolic Computation
Journal of Symbolic Computation > 2009 > 44 > 9 > 1285-1290
Journal of Symbolic Computation > 2011 > 46 > 6 > 712-733
Journal of Symbolic Computation > 2011 > 46 > 9 > 1039-1048
Journal of Symbolic Computation > 2017 > 79 > P1 > 23-42
Journal of Symbolic Computation > 2018 > 85 > C > 206-223