An extended constraint deductive database: Theory and implementation | Publicación