Hauer, B., Z. Kovacs, T. Recio, und P. M. Vélez. „Automated Reasoning in Elementary Geometry: Towards Inquiry Learning“. Pädagogische Horizonte, Bd. 2, Nr. 2, Dezember 2018, S. 1–13, https://paedagogische-horizonte.at/index.php/ph/article/view/42.