Automated Reasoning in Elementary Geometry: Towards Inquiry Learning. ph 2018, 2 (2), 1–13.