Wild, M. (1995). Computations with finite closure systems and implications. Computing and combinatorics (p./pp. 111-120), : Springer--Verlag.

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