Journal of Symbolic Computation
Journal of Symbolic Computation > 2007 > 42 > 3 > 290-297
Journal of Symbolic Computation > 2009 > 44 > 9 > 1164-1175
Journal of Symbolic Computation > 2011 > 46 > 4 > 385-395
Journal of Symbolic Computation > 2012 > 47 > 8 > 942-953
Journal of Symbolic Computation > 2013 > 58 > Complete > 64-76
Journal of Symbolic Computation > 2015 > 68 > Part 1 > 72-83