author = {W. Windsteiger},
title = {{An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema}},
booktitle = {{Logic, Mathematics and Computer Science: Interactions (LMCS 2002)}},
language = {english},
abstract = {This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The method applies the ``Prove-Compute-Solve''-paradigm as its major strategy for generating proofs in a natural style for statements involving constructs from set theory.},
pages = {266--280},
address = {RISC, Schloss Hagenberg, Austria},
isbn_issn = {ISBN 3-902276-03-7},
year = {2002},
month = {October},
note = {Symposium in Honor of Bruno Buchberger's 60th Birthday, Appears in RISC-report Series Nr. 02-60},
editor = {K. Nakagawa},
refereed = {yes},
length = {15}