Details:

Title
Author(s)	William W. Adams, S. Hocsten, Philippe Loustaunau, J. Lyn Miller
Type	Article in Journal
Length	17
ISSN	0747-7171
Language	English
Journal	Journal of Symbolic Computation
Volume	27
Number	1
Pages	31--47
Year	1999
Translation	No
Refereed	Yes