Four Geometry Problems to Introduce Automated Deduction in Secondary Schools - Quaresma, Pedro (2022)
In Proceedings ThEdu'21, arXiv:2202.02144