author = {B. Buchberger}, title = {{Journal for Universal Computer Science}}, language = {english}, isbn_issn = {ISSN 0948-695x}, year = {1996}, editor = {B. Buchberger and N. Kulathuramaiyer and H. Maurer and et. al.}, length = {0}