Journal of Symbolic Computation
Journal of Symbolic Computation > 2005 > 39 > 3-4 > 305-316
Journal of Symbolic Computation > 2005 > 39 > 3-4 > 331-355
Journal of Symbolic Computation > 2009 > 44 > 9 > 1234-1254
Journal of Symbolic Computation > 2016 > 74 > C > 152-180
Journal of Symbolic Computation > 2018 > 86 > C > 20-50