@ARTICLE{
author={Botana Francisco,Brucker Achim,Hasek Roman,Maric Filip M,Neuper Walther,Pech Pavel,Quaresma Pedro,Santos Vanda,Schreiner Wolfgang,Wolff Burkhart},
year={2018},
title={Preface},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={267},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Botana Francisco,Hohenwarter Markus,Janicic Predrag,Kovacs Zoltan,Petrovic Ivan,Recio Tomas,Weitzhofer Simon},
year={2015},
title={Automated Theorem Proving in GeoGebra: Current Achievements},
journal={JOURNAL OF AUTOMATED REASONING},
volume={55},
number={1},
pages={39-59},
document_type={Article},
}