Details:

Title
Author(s)	Bruno Buchberger, Wolfgang Windsteiger
Type	Technical Report, Misc
Abstract
Length	113
Copyright	RISC
File
Language	English
Year	1995
Edition	0
Translation	No
Refereed	No
Organization	Johannes Kepler University Linz
Institution	RISC (Research Institute for Symbolic Computation)