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