Details:

Title
Author(s)	Merker
Type	Article in Journal
Abstract
Keywords
ISSN	0747-7171
URL	http://www.sciencedirect.com/science/article/pii/S0747717110001033
Language	English
Journal	Journal of Symbolic Computation
Volume	45
Number	10
Pages	986 - 1074
Year	2010
Edition	0
Translation	No
Refereed	No