Journal of Symbolic Computation
Journal of Symbolic Computation > 2005 > 39 > 3-4 > 305-316
Journal of Symbolic Computation > 2009 > 44 > 7 > 864-871
Journal of Symbolic Computation > 2011 > 46 > 9 > 1049-1069
Journal of Symbolic Computation > 2013 > 51 > Complete > 63-85