Journal of Symbolic Computation
Journal of Symbolic Computation > 2008 > 43 > 10 > 746-763
Journal of Symbolic Computation > 2011 > 46 > 7 > 755-772
Journal of Symbolic Computation > 2012 > 47 > 1 > 32-63
Journal of Symbolic Computation > 2013 > 50 > Complete > 197-207
Journal of Symbolic Computation > 2013 > 56 > Complete > 107-124
Journal of Symbolic Computation > 2016 > 75 > C > 171-192