Kuznetsov S, Obiedkov S: 2008. Some decision and counting problems of the Duquenne-Guigues basis of implications. 156 (11) / Jun, pp 1994-2003.
