2018. Automated reasoning in elementary geometry: towards inquiry learning. Pädagogische Horizonte. 2, 2 (Dec. 2018), 1–13.