B. Hauer, Z. Kovacs, T. Recio, und P. M. Vélez, „Automated reasoning in elementary geometry: towards inquiry learning“, ph, Bd. 2, Nr. 2, S. 1–13, Dez. 2018.