1. F. van Harmelen, V. Lifschitz, and B. Porter, Handbook of Knowledge Representation, Vol. 3: Foundations of Artificial Intelligence (Elsevier, Amsterdam, 2008).
2. S. Staab and R. Studer, Handbook on Ontologies, 2nd ed., Vol. 2 of International Handbooks on Information Systems (Springer, 2009).
3. C. Lutz and F. Wolter, ‘‘Mathematical logic for life science ontologies,’’ in Proceedings of the 16th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2009, Tokyo, Japan (2009).
4. E. Börger, E. Grädel, and Y. Gurevich, The Classical Decision Problem, Perspectives in Mathematical Logic (Springer, 1997).
5. D. Ponomaryov, ‘‘On decomposability in logical calculi,’’ Bull. Novosib. Comput. Center 28, 111–120 (2008).