Self-Stabilizing Leader Election in Regular Graphs

PODC 2020