An extended constraint deductive database: Theory and implementation - Aranda-López, Gabriel; Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime (The journal of logic and algebraic programming, 2014)