@Inproceedings{Wild95, author = {Wild, Marcel}, title = {Computations with finite closure systems and implications}, year = {1995}, number = {959}, url = {}, const = {\ text} } @Techreport{Wild89, author = {Wild, Marcel}, title = { Optimal implicational bases for finite modular lattices }, year = { 1989 }, number = { 1211 }, url = {}, const = {\ text} }