„Automated reasoning in elementary geometry: towards inquiry learning“, ph, Bd. 2, Nr. 2, S. 1–13, Dez. 2018, Zugegriffen: 7. September 2025. [Online]. Verfügbar unter: https://pedagogical-horizons.org/index.php/ph/article/view/42