1. J. Mc CARTHY, P. HAYES: "Some philosophical problems from the standpoint or artificial intelligence", Machine Intelligence, no 4, 1969, The University Press
2. CASTILHO, CASANOVA, FURTADO: "A temporal frameworks for database specifications", Proc. VLD8, 1982
3. C. CHANG, R. LEE: "Symbolic logic and mechanical theorem proving", Academic Press
4. L. CHOLVY: "A modal approach to update semantics problem", Submitted to DS2
5. L. CHOLVY, K. YAZDANIAN: "Bases de données relationnelles et modélisation des actions", Rapport DERI no 2/3245, 1986