1. Benhamou, F., Van Caneghem, M.C.: Le manuel de Prolog IV, PrologIA, France (1996)
2. Lecture Notes in Computer Science;H. Bürckert,1988
3. Colmerauer, A.: An introduction to Prolog III. Communication of the ACM 33(7), 68–90 (1990)
4. Colmerauer, A.: Equations and disequations on finite and infinite trees. In: Proc of the 5th conf on generation of computer systems Tokyo, 1984, pp. 85–99 (1984)
5. Colmerauer, A.: Prolog and infinite trees. In: Clark, K.L., Tarnlund, S-A. (eds.) Logic Programming, pp. 231–251. Academic Press, London (1982)