@misc{RISC5574,
author = {Bruno Buchberger},
title = {{An Overview on the Theorema Project (Automated Reasoning)}},
language = {english},
year = {2017},
month = {Janurary 13},
note = {Invited talk at Computational Logic Day 2017},
institution = {Wien, Kurt Gödel Research Center for Mathematical Logic},
conferencename = {Computational Logic Day 2017}
}