1. P.A. Bernstein and B.T. Blaustein. Fast methods for testing quantified relational calculus expressions. In ACM SIGMOD International Conference, Orlando, Florida, June 1982.
2. F. Bry, H. Decker, and R. Manthey. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In EDBT International Conference, 1988.
3. F. Bry and R. Manthey. Checking Consistency of Database Constraints: A Logical Basis. In VLDB International Conference, 1986.
4. L. Cardelli. A Semantics of Multiple Inheritance. In Semantics of Data Types. Springer-Verlag, 1984.
5. G. Gardarin and M. Melkanoff. Proving the Consistency of Database Transactions. In VLDB International Conference, Rio, Brasil, October 1979.