Journal of Symbolic Computation
Journal of Symbolic Computation > 2010 > 45 > 6 > 657-676
Journal of Symbolic Computation > 2011 > 46 > 1 > 54-69
Journal of Symbolic Computation > 2011 > 46 > 8 > 967-976
Journal of Symbolic Computation > 2016 > 76 > C > 65-83
Journal of Symbolic Computation > 2017 > 80 > P3 > 844-874
Journal of Symbolic Computation > 2018 > 85 > C > 4-24
Journal of Symbolic Computation > 2018 > 86 > C > 189-214