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)

Foundations of Simplified Integrity Checking Reviewed. - Matilde Celma; Laura Mota-Herranz (DEXA, 1992)

Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. - Matilde Celma; Carlos García; Laura Mota-Herranz; Hendrik Decker (ICDE, 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)

Automatic Generation of Trigger Rules for Integrity Enforcement in Relational Databases with View Definition. - Laura Mota-Herranz; Matilde Celma (FQAS, 1998)

Generación automática de reglas restauradoras de la consistencia en una base de datos deductiva. - Laura Mota-Herranz (JIDBD, 1998)

Transaction Trees for Knowledge Revision. - Laura Mota-Herranz; Matilde Celma; Hendrik Decker (FQAS, 2000)

Conceptual Modeling of Human Genome: Integration Challenges. - Oscar Pastor 001; Juan Carlos Casamayor; Matilde Celma; Laura Mota; M. Ángeles Pastor; Ana M. Levin (Conceptual Modelling and Its Theoretical Foundations, 2012)