Computations with finite closure systems and implications. Computing and combinatorics, 959:111-120, Springer--Verlag, 1995. [PUMA: formal concept ag1 formale begriffsanalyse tu forschungsgruppe analysis fca darmstadt lattices fba]
Optimal implicational bases for finite modular lattices. 12111989. [PUMA: formal concept ag1 formale begriffsanalyse tu forschungsgruppe analysis fca darmstadt lattices fba]