1. Apt, K.R., Blair, H. and Walker, A. Towards a theory of declarative knowledge. In Minker, J. (editor), Proc. Workshop on Deductive Databases and Logic Programming. Aug., 1987.
2. Blaustein, B.T. Enforcing database assertions: Techniques and applications. PhD thesis, Harvard Univ., 1981.
3. Bocca, J. On the evaluation strategy of EDUCE. In Proc. ACM-SIGMOD Conf. on Management of Data. May, 1986.
4. Bry, F. and Manthey, R. Checking consistency of database constraints: A logical basis. In Proc. 12th VLDB Conf. Aug., 1986.
5. Bry, F. Maintaining integrity of deductive databases. Int. Rep. KB-45, ECRC, July, 1987.