“Automated Reasoning in Elementary Geometry: Towards Inquiry Learning”. 2018. Pädagogische Horizonte 2 (2): 1–13. https://paedagogische-horizonte.at/index.php/ph/article/view/42.