@inproceedings{DBLP:conf/tphol/WindsteigerBR06,
author = {Wolfgang Windsteiger and
Bruno Buchberger and
Markus Rosenkranz},
title = {Theorema},
booktitle = {The Seventeen Provers of the World},
year = {2006},
pages = {96-107},
ee = {http://dx.doi.org/10.1007/11542384_14},
crossref = {DBLP:conf/tphol/2006provers},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tphol/2006provers,
editor = {Freek Wiedijk},
title = {The Seventeen Provers of the World, Foreword by Dana S.
Scott},
booktitle = {The Seventeen Provers of the World},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3600},
year = {2006},
isbn = {3-540-30704-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}