Wild, Marcel. "Computations with finite closure systems and implications." Paper presented at the meeting of the Computing and combinatorics, 1995.

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