MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. - Javier Leach; Susana Nieva (LPAR, 1992)

Foundations of a theorem prover for functional and mathematical uses. - Javier Leach; Susana Nieva (J. Appl. Non Class. Logics, 1993)

Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. - Antonio Gavilanes; Javier Leach; Pedro J. Martín; Susana Nieva (AISMC, 1996)

Free Variable Tableaux for a Many Sorted Logic with Preorders. - Antonio Gavilanes; Javier Leach; Susana Nieva (AMAST, 1996)

Constraint Logic Programming with Hereditary Harrop Formulas. - Javier Leach; Susana Nieva; Mario Rodríguez-Artalejo (ILPS, 1997)

A Higher-Order Programming Language with Constraints. - Javier Leach; Susana Nieva (WFLP, 2000)

A Higher-Order Logic Programming Language with Constraints. - Javier Leach; Susana Nieva (FLOPS, 2001)

Constraint Logic Programming with Hereditary Harrop Formula. - Javier Leach; Susana Nieva; Mario Rodríguez-Artalejo (Theory Pract. Log. Program., 2001)

Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. - Miguel García-Díaz; Susana Nieva (FLOPS, 2002)

Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms. - Miguel García-Díaz; Susana Nieva (J. Funct. Log. Program., 2003)

Providing declarative semantics for HH extended constraint logic programs. - Miguel García-Díaz; Susana Nieva (PPDP, 2004)

Formalizing Two Fixed Point Semantics for HH(C). - Miguel García-Díaz; Susana Nieva (J. Funct. Log. Program., 2004)

Higher-Order Logic Programming Languages with Constraints: A Semantics. - James Lipton; Susana Nieva (TLCA, 2007)

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. - Susana Nieva; Jaime Sánchez-Hernández; Fernando Sáenz-Pérez (FLOPS, 2008)

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)

Liquid Types for Array Invariant Synthesis. - Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura (ATVA, 2017)

Kripke semantics for higher-order type theory applied to constraint logic programming languages. - James Lipton; Susana Nieva (Theor. Comput. Sci., 2018)

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. - Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (Inf. Comput., 2020)

Extending Liquid Types to Arrays. - Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura (ACM Trans. Comput. Log., 2020)