1. Akama, K., Nantajeewarawat, E.: Meaning-Preserving Skolemization. In: 3rd International Conference on Knowledge Engineering and Ontology Development, Paris, France, pp. 322–327 (2011)
2. Akama, K., Nantajeewarawat, E.: Unfolding-Based Simplification of Query-Answering Problems in an Extended Clause Space. International Journal of Innovative Computing, Information and Control 9, 3515–3526 (2013)
3. Akama, K., Nantajeewarawat, E.: Embedding Proof Problems into Query-Answering Problems and Problem Solving by Equivalent Transformation. In: 5th International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Portugal, pp. 253–260 (2013)
4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)
5. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press (1973)