1. Abiteboul, S., Bunemann, P., Suciu, D.: Data on the Web. In: From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (2000)
2. Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M., de Rijke, M.: PDL for ordered trees. Journal of Applied Non-Classical Logics 15, 115–135 (2005)
3. Blackburn, P.: Nominal tense logic. Notre Dame Journal of Formal Logic 39, 56–83 (1993)
4. Carpenter, B.: The Logic of Typed Feature Structures. In: Cambridge Tracts in Theoretical Computer Science 32, Cambridge University Press, Cambridge (1992)
5. Lecture Notes in Computer Science;B.D. Cate ten,2006