@misc{indiciae08ca9f808e88,
  title = {Towards Automated Readable Proofs of Ruler and Compass Constructions},
  author = {Vesna Marinković and Tijana Šukilović and Filip Marić},
  year = {2024},
  doi = {10.4204/eptcs.398.5},
  url = {https://arxiv.org/abs/2401.13700},
  note = {Source identifier: 2401.13700}
}