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