Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals | Publicación