author = {W. Windsteiger},
title = {{A Set Theory Prover in Theorema}},
booktitle = {{Computer Aided Systems Theory}},
language = {english},
series = {LNCS},
number = {2178},
pages = {525--539},
publisher = {Springer},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-429},
year = {2001},
note = {Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory -- Formal Methods and Tools for Computer Science), extended version available as RISC report 01-07},
editor = {R. Moreno-Diaz and B. Buchberger and J.L. Freire},
refereed = {yes},
length = {15}