1. Aczel, P.: An introduction to inductive definitions. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 739–782. North–Holland Publishing Company (1977)
2. Alonso, J.A., Borrego, J., Hidalgo, M.J., Martín, F.J., Ruiz, J.L.: Verification of the formal concept analysis. RACSAM (Revista de la Real Academia de Ciencias), Serie A: Matemáticas 98, 3–16 (2004)
3. Alonso, J.A., Borrego, J., Hidalgo, M.J., Martín, F.J., Ruiz, J.L.: A formally verified prover for the ALC description logic. In: Theorem Proving in Higher Order Logics. Lecture Notes in Computer Science, vol. 4732, pp. 135–150. Springer (2007)
4. Armand, M., Faure, G., Grégoire, B., Keller, C., Théry, L., Wener, B.: Verifying SAT and SMT in Coq for a fully automated decision. In: PSATTT’11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories (2011)
5. Baader, F., Hollunder, B.: A terminological knowledge representation system with complete inference algorithms. In: Proceedings of the First International Workshop on Processing Declarative Knowledge, pp. 67–86 (1991)