Details:

Title
Author(s)	Werner M. Seiler
Type	Article in Journal
Length	12
ISSN	0747-7171
Language	English
Journal	Journal of Symbolic Computation
Volume	34
Number	6
Pages	597--608
Year	2002
Translation	No
Refereed	Yes