Mitchell L. Neilsen: A Dynamic Probe Strategy for Quorum Systems. ICDCS 1997: 95-99