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