author = {F. Winkler},
title = {{Automated Theorem Proving in Nonlinear Geomatry}},
booktitle = {{Issues in Robotics and Nolinear Geometry}},
language = {english},
volume = {6},
chapter = {Advances in Computing Research},
pages = {183--197},
publisher = {JAI Press},
isbn_issn = {ISBN-13: 9781559383424; ISBN: 1559383429},
year = {1992},
month = {December},
editor = {C. Hoffmann},
refereed = {yes},
length = {15}