author = {W. Windsteiger and B. Buchberger and M. Rosenkranz},
title = {{Theorema}},
booktitle = {{The Seventeen Provers of the World}},
language = {english},
series = {Lecture Notes in Artificial Intelligence (LNAI)},
volume = {3600},
pages = {96--107},
publisher = {Springer Berlin Heidelberg New York},
isbn_issn = {ISBN 3-540-30704-4},
year = {2006},
annote = {2006-03-16-A},
editor = {Freek Wiedijk},
refereed = {yes},
length = {12},
url = {http://link.springer.com/book/10.1007/11542384}