@misc{indiciae80da74b67f0e,
  title = {Towards Ranking Geometric Automated Theorem Provers},
  author = {Nuno Baeta and Pedro Quaresma},
  year = {2019},
  doi = {10.4204/eptcs.290.3},
  url = {https://arxiv.org/abs/1904.00619},
  note = {Source identifier: 1904.00619}
}