Wild, M. ( 1989 ),' Optimal implicational bases for finite modular      lattices '( 1211 ), Technical report,  TH Darmstadt .

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