On conjectures in orthocomplemented lattices
scientific article; zbMATH DE number 1454405