Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch. A Lattice-Structured Proof of a Minimum Spanning. In PODC. pages 28-43, 1988. [doi]
@inproceedings{WelchLL88,
title = {A Lattice-Structured Proof of a Minimum Spanning},
author = {Jennifer L. Welch and Leslie Lamport and Nancy A. Lynch},
year = {1988},
doi = {10.1145/62546.62552},
url = {http://doi.acm.org/10.1145/62546.62552},
researchr = {https://researchr.org/publication/WelchLL88},
cites = {0},
citedby = {0},
pages = {28-43},
booktitle = {PODC},
}