Details:

Title
Author(s)	Le Tuan Hoa, Eero Hyry
Type	Article in Journal
Abstract
Keywords
ISSN	0747-7171
URL	http://www.sciencedirect.com/science/article/pii/S0747717104000598
Language	English
Journal	Journal of Symbolic Computation
Volume	38
Number	5
Pages	1327 - 1341
Year	2004
Edition	0
Translation	No
Refereed	No