Journal of Symbolic Computation
Journal of Symbolic Computation > 2003 > 36 > 3-4 > 365-400
Journal of Symbolic Computation > 2009 > 44 > 12 > 1662-1675
Journal of Symbolic Computation > 2010 > 45 > 7 > 773-786
Journal of Symbolic Computation > 2010 > 45 > 11 > 1212-1233
Journal of Symbolic Computation > 2011 > 46 > 8 > 889-903
Journal of Symbolic Computation > 2013 > 48 > Complete > 37-53