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