"Attribute-incremental construction of the canonical implication basis."

Sergei A. Obiedkov, Vincent Duquenne (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics