@misc{indiciaefdc08a442584,
  title = {Four Geometry Problems to Introduce Automated Deduction in Secondary Schools},
  author = {Pedro Quaresma and Vanda Santos},
  year = {2022},
  doi = {10.4204/eptcs.354.3},
  url = {https://arxiv.org/abs/2202.03566},
  note = {Source identifier: 2202.03566}
}