Computer proof of monotonicity of operations on orthomodular lattices. - Jeannine J. M. Gabriëls; Mirko Navara (Inf. Sci., 2013)