F. Baader, Am empirical analysis of optimization techniques for terminological representation systems, Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, KR-92, pp.270-281, 1992.
DOI : 10.1007/BF00872105

F. Baader and W. Nutt, Basic Description Logics, 2003.
DOI : 10.1017/CBO9780511711787.004

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Bao, D. Caragea, and V. Honavar, A Distributed Tableau Algorithm for Package-based Description Logics, Proc. of the IEEEACM International Conference on Web Intelligence, pp.404-410, 2006.

J. Bao, D. Caragea, and V. Honavar, On the Semantics of Linking and Importing in Modular Ontologies, ISWC 2006, pp.72-86, 2006.
DOI : 10.1007/11926078_6

A. Borgida and L. Serafini, Distributed Description Logics: Assimilating Information from Peer Sources, Journal of Data Semantics, vol.1, pp.153-184, 2003.
DOI : 10.1007/978-3-540-39733-5_7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

F. M. Donini, Complexity of Reasoning. Description Logic Handbook, pp.96-136, 2003.

J. W. Freeman, Improvements to Propositional Satisfiability Search Algorithms, Dissertation in Computer and Information Science, 1995.

V. Haarslev and R. Möller, High Performance Reasoning with Very Large Knowledge Bases, 2000.

V. Haarslev and R. Möller, Optimizing TBox and ABox Reasoning with Pseudo Models, 2000.
DOI : 10.1007/3-540-45744-5_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

I. Horrocks, Optimizing Tableaux Decision Procedures for Description Logics, 1995.

I. Horrocks and U. Sattler, Optimised Reasoning for SHIQ, Proc. of the 2005 Description Logic Workshop, p.of CEUR, 2005.

I. Horrocks and P. F. Patel-schneider, FaCT and DLP, Proc. of the Automated Reasoning with Analytic Tableaux and Related Methods, pp.27-30, 1998.
DOI : 10.1007/3-540-69778-0_5

B. Nebel, Terminological reasoning is inherently intractable, Artificial Intelligence, vol.43, issue.2, pp.235-249
DOI : 10.1016/0004-3702(90)90087-G

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. A. Pham, Raisonnement sur des ontologies décomposées, 2006.

T. A. Pham and N. Le-thanh, Decomposition-based Reasoning for Large Knowledge Bases in Description Logics, Proceedings of the 13th ISPE International Conference on Concurrent Engineering: Research and Applications, pp.18-22, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01516223

T. M. Pham, De la logique de description à la logique de description distribuée: Etude préliminaire de la décomposition de l'ontologie, 2005.

L. Serafini and A. Tamilin, DRAGO: Distributed Reasoning Architecture for the Semantic Web, 2004.
DOI : 10.1007/11431053_25

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. Sirin, Optimizing Description Logic Reasoning with Nominals: First Results, UMIACS Technical Report, pp.2005-64