Journal of Symbolic Computation
Journal of Symbolic Computation > 2004 > 38 > 6 > 1507-1521
Journal of Symbolic Computation > 2008 > 43 > 8 > 515-544
Journal of Symbolic Computation > 2013 > 58 > Complete > 77-98
Journal of Symbolic Computation > 2016 > 75 > C > 127-148
Journal of Symbolic Computation > 2017 > 79 > P2 > 411-443
Journal of Symbolic Computation > 2018 > 85 > C > 188-205