Hauer, B.; Kovacs, Z.; Recio, T.; Vélez, P. M. Automated Reasoning in Elementary Geometry: Towards Inquiry Learning. ph 2018, 2, 1–13.