Journal of Symbolic Computation
Journal of Symbolic Computation > 2007 > 42 > 6 > 636-667
Journal of Symbolic Computation > 2010 > 45 > 12 > 1341-1358
Journal of Symbolic Computation > 2007 > 42 > 6 > 636-667
Journal of Symbolic Computation > 2010 > 45 > 12 > 1341-1358