Journal of Symbolic Computation
Journal of Symbolic Computation > 2005 > 39 > 3-4 > 317-329
Journal of Symbolic Computation > 2006 > 41 > 2 > 125-137
Journal of Symbolic Computation > 2011 > 46 > 4 > 385-395
Journal of Symbolic Computation > 2012 > 47 > 2 > 167-191
Journal of Symbolic Computation > 2012 > 47 > 8 > 903-925