Journal of Symbolic Computation
Journal of Symbolic Computation > 2009 > 44 > 5 > 571-582
Journal of Symbolic Computation > 2011 > 46 > 2 > 119-149
Journal of Symbolic Computation > 2016 > 73 > Complete > 192-220
Journal of Symbolic Computation > 2017 > 80 > P1 > 4-26