Matoušek, Pták, 2010. On identities in orthocomplemented difference lattices 60.. https://doi.org/10.2478/s12175-010-0033-7