Undoing CRDT Operations Automatically. - Provakar Mondal; Eli Tilevich (CloudCom, 2023)