On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. - Adam Grabowski; Damian Sawicki (Formaliz. Math., 2018)

On Weakly Associative Lattices and Near Lattices. - Damian Sawicki; Adam Grabowski (Formaliz. Math., 2021)