% The main publication - which is most likely the one you'll want to cite
@article{sas26,
  title = {{A Lattice of Union-Finds}},
  author = {Lesbre, Dorian and Lemerre, Matthieu},
  year = {2026},
  series = {SAS 2026},
  month = {10},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  booktitle = {Static Analysis},
  keywords = {Union-find, Lattice, Persistence, Abstract Interpretation},
}

% The extended version - includes appendices and proofs
@techreport{cea-05693552,
  title = {{A Lattice of Union-Finds (with appendices)}},
  author = {Lesbre, Dorian and Lemerre, Matthieu},
  url = {https://cea.hal.science/cea-05693552},
  institution = {{CEA List}},
  year = {2026},
  month = Jul,
  keywords = {Union-find, Lattice, Persistence, Abstract Interpretation},
  pdf = {https://cea.hal.science/cea-05693552v1/file/union-find-lattice-with-appendix.pdf},
  hal_id = {cea-05693552},
  hal_version = {v1},
}

% The accompanying software artifact
@software{10.5281/zenodo.21217874,
  title = {Artifact for ``{{A Lattice}} of {{Union-Finds}}''},
  author = {Lesbre, Dorian and Lemerre, Matthieu},
  year = {2026},
  month = jul,
  doi = {10.5281/zenodo.21217874},
  version = {v0.1.0~sas26},
  license = {GPLv3},
}

% The opam union-find-lattice library
@software{union-find-lattice,
  title = {Union Find Lattice library},
  author = {Lesbre, Dorian and Lemerre, Matthieu},
  year = {2026},
  month = jul,
  url = {https://github.com/codex-semantics-library/union-find-lattice},
  version = {v0.1.0},
  license = {LGPLv2.1}
}