?
Some Decision and Counting Problems of the Duquenne-Guigues Basis of Implications. Discrete Applied Mathematics 156(11):
Discrete Applied Mathematics. 2008. Vol. 156. No. 11. P. 1994-2003.
Кузнецов С. О., Объедков С. А.