1. Beran, L.: Orthomodular Lattices. Algebraic Approach. Academia, Prague (1984)
2. Bruns G.: Free ortholattices. Canad. J. Math. 28, 977–985 (1976)
3. Chevalier G., Pulmannová S.: Compositions of Sasaki projections. Internat. J. Theoret. Phys. 31, 1599–1614 (1992)
4. D’Hooghe, B., Pykacz, J.: On some new operations on orthomodular lattices. Internat. J. Theoret. Phys. 39, no. 3, 641–652 (2000)
5. Egly, U., Tompits, H.: Gentzen-like methods in quantum logic. Proceedings of the Eight International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX ’99), Institute for Programming and Logics, University at Albany - SUNY, (1999)