A note on congruence kernels in ortholattices
scientific article; zbMATH DE number 1602809