1. Alonso-Jiménez, J.A., Aranda-Corral, G.A., Borrego-Díaz, J., Fernández-Lebrón, M.M., Hidalgo-Doblado, M.J.: Extending attribute exploration by means of boolean derivatives. In: Proceedings of 6th International Conference on Concept Lattices and Their Applications (CLA2008), pp. 121–132 (2008)
2. Aranda-Corral, G.A., Borrego-Díaz, J., Fernández-Lebrón, M.M.: Conservative retractions of propositional logic theories by means of boolean derivatives: theoretical foundations. In Proceedings of 16th CALCULEMUS Congress. Lecture Notes in Artificial Intelligence, vol. 5625, pp. 45–58. Springer, Berlin (2009)
3. Borrego-Díaz, J., Fernández-Lebrón, M.: Theoretical Foundations of a Specialised Polynomial-Based Calculus for Computing Conservative Retractions in Propositional Logic (2008)
4. Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, STOC 1971, pp. 151–158. ACM, New York, USA (1971)
5. Ganter, B., Wille, R.: Formal Concepts Analysis. Mathematical Foundations. Springer, Berlin (1999)