Journal of Symbolic Computation
Journal of Symbolic Computation > 2010 > 45 > 11 > 1184-1211
Journal of Symbolic Computation > 2012 > 47 > 12 > 1533-1560
Journal of Symbolic Computation > 2012 > 47 > 12 > 1512-1532
Journal of Symbolic Computation > 2012 > 47 > 12 > 1416-1446