Journal of Symbolic Computation
Journal of Symbolic Computation > 2013 > 50 > Complete > 409-430
Journal of Symbolic Computation > 2013 > 59 > Complete > 113-145
Journal of Symbolic Computation > 2013 > 50 > Complete > 409-430
Journal of Symbolic Computation > 2013 > 59 > Complete > 113-145