@Inproceedings{EPTCS398.12,
  author    = {Quaresma, Pedro and Graziani, Pierluigi and Nicoletti, Stefano M. },
  year      = {2024},
  title     = {Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry},
  editor    = {Quaresma, Pedro and Kov\'acs, Zolt\'an},
  booktitle = {{\rm Proceedings 14th International Conference on}
               Automated Deduction in Geometry,
               {\rm Belgrade, Serbia, 20-22th September 2023}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {398},
  publisher = {Open Publishing Association},
  pages     = {85-100},
  doi       = {10.4204/EPTCS.398.12},
}