Readable automated proofs of ruler and compass constructions. - Vesna Marinkovic; Tijana Sukilovic; Viktor Novakovic; Filip Maric (Ann. Math. Artif. Intell., 2025)