Véronique Benzaken, Serenella Cerrito, Sébastien Praud. Vérification statique de contraintes d intégrité dynamiques : une approche sémantique. In Proc. 15èmes Journées Bases de Données Avancées, BDA. pages 283-301, 1999.
Abstract is missing.