Sergei A. Obiedkov Vincent Duquenne Attribute-incremental construction of the canonical implication basis. 77-99 2007 49 Ann. Math. Artif. Intell. 1-4 http://dx.doi.org/10.1007/s10472-007-9057-2 db/journals/amai/amai49.html#ObiedkovD07