%0 Conference Paper %1 Wild95 %A Wild, Marcel %B Computing and combinatorics %D 1995 %I Springer--Verlag %K fba formal begriffsanalyse concept forschungsgruppe ag1 tu formale analysis lattices fca darmstadt %N 959 %P 111-120 %T Computations with finite closure systems and implications