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