Wild, M. ( 1989 ).  Optimal implicational bases for finite modular      lattices  ( FB4--Preprint  1211 ).  TH Darmstadt . 

Wild, M. (1995). Computations with finite closure systems and implications. Computing and combinatorics (p./pp. 111-120),: Springer--Verlag.