Journal of Symbolic Computation
Journal of Symbolic Computation > 2011 > 46 > 4 > 385-395
Journal of Symbolic Computation > 2015 > 68 > Part 1 > 72-83
Journal of Symbolic Computation > 2011 > 46 > 4 > 385-395
Journal of Symbolic Computation > 2015 > 68 > Part 1 > 72-83