Kuznetsov, S. O. & Obiedkov, S. (2008). Some decision and counting problems of the Duquenne-Guigues basis of implications.
Discrete Appl. Math.
, 156, 1994--2003. doi: http://dx.doi.org/10.1016/j.dam.2007.04.014