A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm (Extended Abstract) (1988)

by Jennifer Lundelius Welch, Nancy Lynch
Venue:Laboratory for Computer Science, Massachusetts Institute of Technology