Wild, Marcel
Computations with finite closure systems and implications
Computing and combinatorics
111-120
1995
959
Springer–Verlag
Lecture Notes in Computer Science
Wild, Marcel
Optimal implicational bases for finite modular
lattices
1989
1211