@dataset{currentDoc,
  author = {},
  title = {Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo},
  publisher = {Zenodo},
  issued = {2025-01-27},
  howpublished = {{\url{https://zenodo.org/doi/10.5281/zenodo.14183386}}}
}