Inproceedings (Wild95)
Wild, M.
Computations with finite closure systems and implications
Springer--Verlag, 1995, 111-120

Techreport (Wild89)
Wild, M.
Optimal implicational bases for finite modular
lattices
TH Darmstadt , 1989