author = {Wolfgang Windsteiger},}
title = {{A Set Theory Prover in Theorema: Implementation and Practical Applications}},
language = {english},
year = {2001},
month = {May},
translation = {0},
school = {RISC Institute},
length = {248},
type = {phdthesis}