Wild, Marcel. Computations with finite closure systems and implications. Computing and combinatorics. Lecture Notes in Computer Science, 959: 111-120, Springer--Verlag, Year 1995.
Wild, Marcel. Optimal implicational bases for finite modular
lattices
.
1211 : Year 1989 .