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
.