Wild, Marcel. "Computations with finite closure systems and implications." Paper presented at the meeting of the Computing and combinatorics, 1995.