Search results for: Herwig Hauser
Discrete Mathematics > 2012 > 312 > 24 > 3553-3560
Journal of Symbolic Computation > 2005 > 40 > 2 > 979-997
Discrete Mathematics > 2012 > 312 > 24 > 3553-3560
Journal of Symbolic Computation > 2005 > 40 > 2 > 979-997