Details:

Title
Author(s)	Bruno Buchberger, Christoph Kollreider
Type	Article in Journal
File
Language	English
Journal	ACM SIGSAM Bull
Volume	12
Number	2
Pages	27--36
Year	1978
Month	May
Translation	No
Refereed	Yes
Organization	Johannes Kepler University Linz
Institution	RISC (Research Institute for Symbolic Computation)