2018. Automated reasoning in elementary geometry: towards inquiry learning. Pedagogical Horizons. 2, 2 (Dec. 2018), 1–13.