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

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