Wild, M.: Computations with finite closure systems and implications. Computing and combinatorics. Springer--Verlag, 1995Lecture Notes in Computer Science , S. 111-120

Wild, M.: Optimal implicational bases for finite modular
lattices
. , 1989