@misc{indiciaee607eab5b209,
  title = {An XML-Format for Conjectures in Geometry (Work-in-Progress)},
  author = {Pedro Quaresma},
  year = {2012},
  url = {https://arxiv.org/abs/1207.2511},
  note = {Source identifier: 1207.2511}
}