@misc{RISC2150,
author = {W. Windsteiger},
title = {{An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema}},
language = {english},
year = {2002},
month = {October 20},
note = {Contributed talk at LMCS'02, Hagenberg, Austria},
conferencename = {LMCS'02, Hagenberg, Austria}
}