Details:

Title
Author(s)	Ferdinando Mora, Massimiliano Sala
Type	Article in Journal
Length	15
ISSN	0747-7171
Language	English
Journal	Journal of Symbolic Computation
Volume	35
Number	2
Pages	177--194
Year	2003
Translation	No
Refereed	Yes