@dataset{currentDoc,
  author = {Hackett, FinnTranslation missing: fr.lunaris.show.citation.author_joinBeschastnikh, Ivan},
  title = {Z3Hydrant Preliminary Evaluation},
  publisher = {Zenodo},
  issued = {2024-09-18},
  howpublished = {{\url{https://zenodo.org/doi/10.5281/zenodo.13786260}}}
}