Kuznetsov, Sergei O. and Obiedkov, Sergei. "Some decision and counting problems of the Duquenne-Guigues basis of implications." Discrete Appl. Math. 156 , no. 11 (2008): 1994--2003.