author = {W. Windsteiger},
title = {{An Automated Prover for Set Theory in Theorema}},
language = {english},
year = {2002},
month = {June 5},
note = {Contributed talk at Calculemus'2002, Marseille, France},
conferencename = {Calculemus'2002, Marseille, France}