@misc{RISC2461,
author = {W. Windsteiger},
title = {{An Automated Theorem Prover for Set Theory within the Theorema System}},
language = {english},
year = {2005},
month = {April 25},
note = {Invited colloquium talk at Institute for Algebra, Charles University Prague},
institution = {Institute for Algebra, Charles University Prague}
}