author = {M. Mnuk and F. Winkler},
title = {{CASA - A System for Computer Aided Constructive Algebraic Geometry}},
booktitle = {{International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96)}},
language = {english},
series = {LNCS 1128},
pages = {297--307},
publisher = {Springer-Verlag},
isbn_issn = {ISBN-10: 3540616977; ISBN-13: 978-3540616979},
year = {1996},
month = {October},
editor = {J. Calmet and C. Limongelli},
refereed = {yes},
length = {11},
conferencename = {DISCO'96 (Karlsruhe, Germany, September 1996)}