% The main publication - which is most likely the one you'll want to cite
@article{10.1145/3729298,
  author = {Lesbre, Dorian and Lemerre, Matthieu and Ait-El-Hara, Hichem Rami
            and Bobot, François},
  title = {Relational Abstractions Based on Labeled Union-Find},
  month = 6,
  year = 2025,
  journal = {Proc. {ACM} Program. Lang.},
  issn = {2475-1421},
  number = {{PLDI}},
  volume = {9},
  articleno = {195},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  doi = {10.1145/3729298},
}

% The extended version - includes appendices and proofs
@techreport{hal-05029216,
  author = {Lesbre, Dorian and Lemerre, Matthieu and Ait-El-Hara, Hichem Rami
            and Bobot, François},
  title = {Relational Abstractions Based on Labeled Union-Find (with appendices)
           },
  month = apr,
  year = 2025,
  publisher = {HAL},
  url = {https://hal.science/hal-05029216},
}

% The associated software artifact
@software{10.5281/zenodo.15165896,
  author = {Lesbre, Dorian and Lemerre, Matthieu and Ait-El-Hara, Hichem Rami
            and Bobot, François},
  title = {Artifact for paper "Relational Abstractions Based on Labeled
           Union-Find" },
  month = apr,
  year = 2025,
  publisher = {Zenodo},
  doi = {10.5281/zenodo.15165896},
  url = {https://doi.org/10.5281/zenodo.15165896},
}