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