Details:

Title
Author(s)	David Andrew Smith
Type	Article in Journal
Abstract
Length	12
File
URL	dx.doi.org/10.1006/jsco.2001.0501
Language	English
Journal	Journal of Symbolic Computation
Volume	33
Number	2
Pages	209-220
Year	2002
Month	February
Translation	No
Refereed	No