@**inproceedings**{RISC253,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)}

}