"Generating complete set of implications for formal contexts."

Kai-She Qu, Yan-Hui Zhai (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics