Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals. - Carme Martín Escofet (2005)