Journal of Symbolic Computation
Journal of Symbolic Computation > 2007 > 42 > 6 > 636-667
Journal of Symbolic Computation > 2007 > 42 > 8 > 792-802
Journal of Symbolic Computation > 2007 > 42 > 6 > 636-667
Journal of Symbolic Computation > 2007 > 42 > 8 > 792-802