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