1. Beran, L.,On finitely generated orthomodular lattices. Math. Nach.88 (1979), 129?139.
2. Beran, L.,Orthomodular Lattices, Algebraic Approach. Reidel, Dordrecht, 1985.
3. Bruns, G.,A finiteness criterion for orthomodular lattices. Canadian J. Math.30 (1978), 315?320.
4. Bruns, G. andKalmbach, G.,Some remarks on free orthomodular lattices, in: J. Schmidt (ed.),Proc. Lattice Theory Conf., Houston, 1973, pp. 397?408.
5. Carrega, J. C. andFort, M.,Un probléme d'exclusion de treillis orthomodulaires, C.R. Acad. Sc. Paris t.296, Série I (1983), 485?488.