Journal of Symbolic Computation
Journal of Symbolic Computation > 2004 > 38 > 2 > 1003-1024
Journal of Symbolic Computation > 2007 > 42 > 9 > 871-883
Journal of Symbolic Computation > 2009 > 44 > 6 > 655-672
Journal of Symbolic Computation > 2016 > 74 > C > 408-424