Wild, Marcel Optimal implicational bases for finite modular
lattices . ( 1211 ) , TH Darmstadt ( 1989 ). .