Title: Orthomodular Lattices
Subjects: Computational complexity, Computer science, Discrete Mathematics in Computer Science