@inproceedings{Borrego25b,
  title      = {ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs},
  DOI        = {10.1145/3721473.3722145},
  booktitle  = {Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data},
  publisher  = {ACM},
  author     = {Borrego, Dina and Vilalonga, Afonso and Domingos, Henrique and Preguica, Nuno and Boix, Elisa Gonzalez and Ferreira, Carla},
  year       = {2025},
  month      = Mar,
  pages      = {38–44},
}