„Automated reasoning in elementary geometry: towards inquiry learning“. Pädagogische Horizonte, Bd. 2, Nr. 2, Dezember 2018, S. 1–13, https://www.pedagogical-horizons.org/index.php/ph/article/view/42.