Wild, Marcel:
Computations with finite closure systems and implications.
959.
In: Computing and combinatorics
: Springer--Verlag,
1995
(Lecture Notes in Computer Science),
S. 111-120
Wild, Marcel
; TH Darmstadt (Hrsg.):
Optimal implicational bases for finite modular
lattices .
1211 ,
1989