Hauer, B., Kovacs, Z., Recio, T. und Vélez, P.M. 2018. Automated reasoning in elementary geometry: towards inquiry learning. Pädagogische Horizonte. 2, 2 (Dez. 2018), 1–13.