Ivan Chajda Orthomodular semilattices. 115-118 2007 307 Discrete Mathematics 1 http://dx.doi.org/10.1016/j.disc.2006.05.040 db/journals/dm/dm307.html#Chajda07