Kuznetsov, S. (2004). On the intractability of computing the Duquenne-Guigues base. Journal of Universal Computer Science, 10, 927--933.