Wild, M. (1995). Computations with finite closure systems and implications.
Computing and combinatorics
(p./pp. 111-120), : Springer--Verlag.