@ARTICLE{
author={Marinkovic Vesna,Janicic Predrag,Schreck Pascal},
year={2015},
title={Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems},
journal={AUTOMATED DEDUCTION IN GEOMETRY},
volume={9201},
number={},
pages={72-93},
document_type={Proceedings Paper},
}