author = {W. Windsteiger},
title = {{An Automated Prover for Set Theory in Theorema}},
language = {english},
year = {2003},
month = {May 26},
note = {Contributed talk at Omega-Theorema Workshop, Hagenberg, Austria},
conferencename = {Omega-Theorema Workshop, Hagenberg, Austria}