„Automated Reasoning in Elementary Geometry: Towards Inquiry Learning“. Pädagogische Horizonte 2, no. 2 (Dezember 3, 2018): 1–13. Zugegriffen September 13, 2025. https://www.paedagogische-horizonte.at/index.php/ph/article/view/42.