@article{lesbre_2025,
  TITLE = {{Relational Abstractions Based on Labeled Union-Find (with appendices)}},
  AUTHOR = {Lesbre, Dorian and Lemerre, Matthieu and Ait-El-Hara, Hichem Rami and Bobot, Fran{\c c}ois},
  URL = {https://hal.science/hal-05029216},
  NOTE = {46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025), Seoul, South Korea, 16-20/06/2025},
  JOURNAL = {{Proceedings of the ACM on Programming Languages}},
  PUBLISHER = {{ACM}},
  VOLUME = {9},
  NUMBER = {PLDI},
  YEAR = {2025},
  MONTH = Jun,
  KEYWORDS = {Relational abstract domains ; Labeled union-find ; Abstract Intepretation}
}