A Derivation Path Recording Method for Integrity Checking in Deductive Databases. - Matilde Celma; Juan Carlos Casamayor; Laura Mota-Herranz; María Angeles Pastor; Francisco Marqués (DAISD, 1991)

Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal. - Matilde Celma; Carlos García; María Angeles Pastor (GULP-PRODE (2), 1994)

Sobre la enseñanza des las bases de datos: teoría y diseño. - Matilde Celma; Laura Mota-Herranz; María Angeles Pastor; Juan Carlos Casamayor (JIDBD, 1996)