1. Baader, F., Snyder, W.: Unification theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 447–533. Elsevier, Amsterdam (2001)
2. Bala, S.: Decision Problems on Regular Expressions. PhD thesis, Universytet Wroclawski, Wroclaw, Poland (2005)
3. Lecture Notes in Computer Science;R. Dabrowski,2002
4. Gleibman, A.: Knowledge representation via verbal description generalization: alternative programming in sampletalk language. In: Proceedings of Workshop on Inference for Textual Question Answering, Pittsburgh, Pennsylvania. AAAI 2005 - the Twentieth National Conference on Artificial Inteligence, pp. 59–68 (2005),
http://www.sampletalk.com
5. Encyclopedia of Mathematics and its Applications;M. Lothaire,1983