HAUER, B.; KOVACS, Z.; RECIO, T.; VÉLEZ, P. M. Automated reasoning in elementary geometry: towards inquiry learning. Pädagogische Horizonte, [S. l.], v. 2, n. 2, p. 1–13, 2018. Disponível em: https://paedagogische-horizonte.at/index.php/ph/article/view/42. Acesso em: 18 okt. 2024.