1. Shi, Z.Z., Dong, M.K., Jiang, Y.C., Zhang, H.J.: A logic foundation for the semantic web. Science in China, Series E 34(10), 1123–1138 (2004)
2. Blackburn, P., Bos, J.: Representation and inference for natural language. CSLI Publications, Stanford, CA (2005)
3. Lecture Notes in Computer Science;L. Bertossi,2002
4. Su, K.L., Luo, X.Y., Lu, G.F.: Symbolic model checking for CTL. Chinese Journal of Computer 28(11), 1798–1806 (2005)
5. Liu, Q., Sun, J.G., Yu, W.J.: An improved method of δ-rule in free variable semantic tableau. Journal of Computer Research and Development 41(7), 1068–1073 (2004)