F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi & P. F. Patel-Schneider (2003):
The Description Logic Handbook: Theory, Implementation, and Applications.
Cambridge University Press.
F. Baader, I. Horrocks & U. Sattler (2008):
Description Logics.
In: Handbook of Knowledge Representation,
Foundations of Artificial Intelligence 3.
Elsevier,
pp. 135–179,
doi:10.1016/S1574-6526(07)03003-9.
W. Bibel (1993):
Deduction - automated logic.
Academic Press.
A. Borgida, E. Franconi & I. Horrocks (2000):
Explaining ALC Subsumption.
In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, 2000,
pp. 209–213.
F. Freitas & J. Otten (2016):
A Connection Calculus for the Description Logic ALC.
In: Advances in Artificial Intelligence - 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings,
pp. 243–256,
doi:10.1007/978-3-319-34111-8_30.
Jean-Yves Girard, Paul Taylor & Yves Lafont (1989):
Proofs and Types.
Cambridge University Press.
I. Horrocks (2008):
Ontologies and the semantic web.
Commun. ACM 51(12),
pp. 58–67,
doi:10.1145/1409360.1409377.
D. Melo, F. Freitas & J. Otten (2017):
RACCOON: A Connection Reasoner for the Description Logic ALC.
In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017,
pp. 200–211.
J. Otten (2011):
A Non-clausal Connection Calculus.
In: Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings,
pp. 226–241,
doi:10.1007/978-3-642-22119-4_18.
E. Palmeira (2017):
Conversion of Proof in Description Logic ALC Generated by Connection Method into Sequents.
Federal University of Pernambuco.
D. A. Plaisted & S. Greenbaum (1986):
A Structure-Preserving Clause Form Translation.
J. Symb. Comput. 2(3),
pp. 293–304,
doi:10.1016/S0747-7171(86)80028-1.