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