1. Lecture Notes in Computer Science;T. Andreasen,2011
2. Lecture Notes in Computer Science;T. Andreasen,2011
3. van Benthem, J.: Essays in Logical Semantics, Studies in Linguistics and Philosophy, vol. 29. D. Reidel Publishing Company (1986)
4. van Benthem, J.: Natural Logic, Past And Future, Workshop on Natural Logic, Proof Theory, and Computational Semantics 2011, CSLI Stanford (2011),
http://www.stanford.edu/~icard/logic&language/index.html
5. Benjamin, N.G., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web (WWW 2003), pp. 48–57. ACM, New York (2003)