1. Recognizing pseudo-intents is coNP-complete;Babin,2010
2. Hypergraphs;Berge,1989
3. About keys of formal context and conformal hypergraph;Colomb,2008
4. Hardness of enumerating pseudo-intents in the lectic order;Distel,2010
5. Linear-time algorithms for testing the satisfiability of propositional Horn formulae;Dowling;Journal of Logic Programming,1984