1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley (1994)
2. Amir, E., McIlraith, S.A.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1–2), 49–88 (2005)
3. Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: Modular combination of OWL reasoners for ontology classification. In: Cudré-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) Proceedings of the 11th International Semantic Web Conference (ISWCŠ12), LNCS, vol. 7649, pp. 1–16. Springer (2012)
4. Aslani, M., Haarslev, V.: Parallel TBox classification in description logics – first experimental results. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence (ECAI’10), Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 485–490. IOS Press (2010)
5. Aslani, M., Haarslev, V.: Concurrent classification of OWL ontologies – an empirical evaluation. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) Proceedings of the 25th International Workshop on Description Logics (DL’12), CEUR Workshop Proceedings, vol 846, pp. 400–410. CEUR-WS.org (2012)