Baeta, N., et al.. Towards a Geometry Automated Provers Competition. Open Publishing Association, Feb. 2020, doi:10.4204/eptcs.313.6.