A Lattice-Structured Proof of a Minimum Spanning

Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch. A Lattice-Structured Proof of a Minimum Spanning. In PODC. pages 28-43, 1988. [doi]

Abstract

Abstract is missing.