@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Novakovic Viktor,Maric Filip M},
year={2025},
title={Readable automated proofs of ruler and compass constructions},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
}