Details:

Title
Author(s)	Abdelilah Kandri-Rody, Volker Weispfenning
Type	Article in Journal
Length	27
ISSN	0747-7171
Language	English
Journal	Journal of Symbolic Computation
Volume	9
Number	1
Pages	1--26
Year	1990
Translation	No
Refereed	Yes