1. A. Brodsky, J. Jaffar and M.J. Maher. Toward Practical Constraint Databases. Proc. 19th International Conference on Very Large Data Bases, Dublin, Ireland, 1993.
2. J. Darlington and Y-K. Guo. Constraint Functional Programming. Tech. Report, Dept. of Computing, Imperial College, to appear.
3. A. Ehrenfeucht. An Application of Games to the Completeness Problem for Formalized Theories. Fund. Math., 49:129–141, 1961.
4. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press 1972.
5. R. Fraïssé. Sur quelques classifications des systémes de relations. Publications Scientifiques de l'Université d'Alger, Séries A, 1:35–182, 1954.