author = {B. Buchberger and G. E. Collins and B. Kutzler},
title = {{Algebraic Methods for Geometric Reasoning}},
booktitle = {{Annual Reviews in Computer Science}},
language = {english},
volume = {Vol. 3},
pages = {85--119},
publisher = {Copyright: Annual Reviews Inc.},
isbn_issn = {ISSN 8756-7016/88},
year = {1988},
annote = {1988-06-00-B},
editor = {J. F. Traub},
refereed = {yes},
length = {35}