1. Untersuchungen �ber das Eliminationsproblem der mathematischen Logik
2. Guadalupe Aguado de Cea , Asunción Gómez-Pérez , Elena Montiel-Ponsoda , and Mari Carmen Suárez-Figueroa . 2008 . Natural Language-Based Approach for Helping in the Reuse of Ontology Design Patterns . In Proc. EKAW’08(Lecture Notes in Computer Science), Vol. 5268 . Springer, 32–47. Guadalupe Aguado de Cea, Asunción Gómez-Pérez, Elena Montiel-Ponsoda, and Mari Carmen Suárez-Figueroa. 2008. Natural Language-Based Approach for Helping in the Reuse of Ontology Design Patterns. In Proc. EKAW’08(Lecture Notes in Computer Science), Vol. 5268. Springer, 32–47.
3. Franz Baader , Ian Horrocks , Carsten Lutz , and Ulrike Sattler . 2017. An Introduction to Description Logic . Cambridge University Press . Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press.
4. Leo Bachmair , Harald Ganzinger , David A. McAllester , and Christopher Lynch . 2001. Resolution Theorem Proving . In Handbook of Automated Reasoning (in 2 volumes), John Alan Robinson and Andrei Voronkov (Eds.) . Elsevier and MIT Press , 19–99. Leo Bachmair, Harald Ganzinger, David A. McAllester, and Christopher Lynch. 2001. Resolution Theorem Proving. In Handbook of Automated Reasoning (in 2 volumes), John Alan Robinson and Andrei Voronkov (Eds.). Elsevier and MIT Press, 19–99.
5. Mordechai Ben-Ari . 2012. Mathematical Logic for Computer Science , 3 rd Edition. Springer . Mordechai Ben-Ari. 2012. Mathematical Logic for Computer Science, 3rd Edition. Springer.