Details:

Title
Author(s)	Ulla Koppenhagen, Ernst W. Mayr
Type	Article in Journal
Abstract
Length	18
File
URL	dx.doi.org/10.1006/jsco.1999.1015
Language	English
Journal	Journal of Symbolic Computation
Volume	31
Number	1-2
Pages	259-276
Year	2001
Month	January
Translation	No
Refereed	No