The covering law in orthomodular lattices generated by graphs of functions
scientific article; zbMATH DE number 5189606