Journal of Symbolic Computation
Journal of Symbolic Computation > 2011 > 46 > 4 > 360-370
Journal of Symbolic Computation > 2013 > 50 > Complete > 255-262
Journal of Symbolic Computation > 2011 > 46 > 4 > 360-370
Journal of Symbolic Computation > 2013 > 50 > Complete > 255-262