Journal of Symbolic Computation
Journal of Symbolic Computation > 2012 > 47 > 2 > 192-213
Journal of Symbolic Computation > 2016 > 74 > C > 537-560
Journal of Symbolic Computation > 2012 > 47 > 2 > 192-213
Journal of Symbolic Computation > 2016 > 74 > C > 537-560