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