1. Bassiliades, N. (1993) Constraint Description in ADAM, MSc. Thesis, Dept. of Computing Science, University of Aberdeen, Aberdeen, Scotland, AB9 2UE.
2. Bassiliades, N. and Gray, P.M.D. (1994) CoLan: a Functional Constraint Language and Its Implementation. Data and Knowledge Engineering, 14, 203–249.
3. Bry, F., Decker, H. and Manthey, R. (1988) A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases, in Advances in Database Technology–EDBT 88, Schmidt, J.W., Ceri, S. and Missikoff, M. (eds.). Springer Verlag, 488–505.
4. Bry, F., Manthey, R. and Martens, B. (1992) Integrity Verification in Knowledge Bases, in Logic Programming: Proc. of the First and Second Russian Conference on Logic Programming, Voronkov, A. (ed.). Springer-Verlag, 114–139.
5. Ceri, S. and Widom, J. (1990) Deriving Production Rules for Constraint Maintenance, in Proceedings of the 16th VLDB Conference, Sacks-Davis, R., McLeod, D. and Schek, H. (eds.). Brisbane, Morgan Kaufmann Publishers, Inc., 566–577.