Journal of Symbolic Computation
Journal of Symbolic Computation > 2009 > 44 > 9 > 1255-1267
Journal of Symbolic Computation > 2009 > 44 > 12 > 1676-1689
Journal of Symbolic Computation > 2011 > 46 > 8 > 943-966
Journal of Symbolic Computation > 2012 > 47 > 3 > 266-281