Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. - Gabriel Aranda-López; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (PPDP, 2009)

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. - Gabriel Aranda-López; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (LPAR (short papers), 2013)

Formalizing a Broader Recursion Coverage in SQL. - Gabriel Aranda-López; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (PADL, 2013)

An extended constraint deductive database: Theory and implementation. - Gabriel Aranda-López; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (J. Log. Algebraic Methods Program., 2014)