1989

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

1995

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