@misc{indiciaeb37d23d8a402,
  title = {Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery},
  author = {Amela Hota and Zoltán Kovács and Alexander Vujic},
  year = {2024},
  doi = {10.4204/eptcs.398.14},
  url = {https://arxiv.org/abs/2401.13703},
  note = {Source identifier: 2401.13703}
}