Search results
Theoretical Computer Science > 2010 > 411 > 4-5 > 823-833
Journal of Symbolic Computation > 2006 > 41 > 8 > 887-904
Theoretical Computer Science > 2010 > 411 > 4-5 > 823-833
Journal of Symbolic Computation > 2006 > 41 > 8 > 887-904