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