Automated reasoning in elementary geometry: towards inquiry learning. (2018). Pedagogical Horizons, 2(2), 1–13. https://paedagogische-horizonte.at/index.php/ph/article/view/42