Representation of complete ortholattices by sets with orthogonality
scientific article; zbMATH DE number 575524
scientific article