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