Journal of Symbolic Computation
Journal of Symbolic Computation > 2013 > 50 > Complete > 197-207
Journal of Symbolic Computation > 2013 > 56 > Complete > 107-124
Journal of Symbolic Computation > 2013 > 50 > Complete > 197-207
Journal of Symbolic Computation > 2013 > 56 > Complete > 107-124