1. Afanasiev, L. (2003). XML query evaluation via CTL model checking. Master’s thesis, University of Amsterdam, ILLC Scientific Publications, MoL-2003-07.
2. Alechina N., Immerman N. (2000) Reachability logic: An efficient fragment of transitive closure logic. Logic Journal of the IGPL 8(3): 325–337
3. Berwick, R. C., & Weinberg, A. S. (1984). The grammatical basis of linguistic performance: Language use and acquisition, Vol. 11 of Current studies in linguistics. Cambridge, Mass: MIT Press.
4. Bird, S., Chen, Y., Davidson, S., Lee, H., & Zheng, Y. (2006). Designing and evaluating an XPath dialect for linguistic queries. In 22nd International Conference on Data Engineering (ICDE) (pp. 52–61).
5. Bird, S., Klein, E., & Loper, E. (2009). Natural language processing with Python. O’Reilly Media Inc. http://www.nltk.org/ .