1. A.V. Aho, J.E. Hopcroft, J.D. Ullman, Data Structures and Algorithms, Addision-Wesley, Reading, MA, 1983.
2. K.R. Apt, Introduction to logic programming, Technical Report TR-87-35 (Revised and Extended Version), Department of Computer Science, The University of Texas at Austin, 1988.
3. Constraint logic programming languages;Cohen;Commun. ACM,1990
4. An introduction to Prolog III;Colmerauer;Commun. ACM,1990
5. A modelling language for mathematical programming;Fourer;Manage. Sci.,1990