author = {W. Windsteiger},
title = {{A Set Theory Prover in Theorema}},
language = {english},
year = {2001},
month = {February 20},
note = {EUROCAST'01, Las Palmas, Gran Canaria. Contributed talk at CAL'01 workshop},
conferencename = {CAL'01 workshop}