On the algorithmic construction of the 1960 sectional complement

G. Grätzer, G. Klus, A. Nguyen

In 1960, G. Grätzer and E.\,T. Schmidt proved that every finite distributive lattice can be represented as the congruence lattice of a sectionally complemented finite lattice $L$.…