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
.