Constraint logic programming with hereditary Harrop formulas J Leach, S Nieva, M Rodríguez-Artalejo Theory and Practice of Logic Programming 1 (4), 409-445, 2001 | 24 | 2001 |

Formalizing a broader recursion coverage in SQL G Aranda, S Nieva, F Sáenz-Pérez, J Sánchez-Hernández Practical Aspects of Declarative Languages: 15th International Symposium …, 2013 | 15 | 2013 |

Higher-order logic programming languages with constraints: A semantics J Lipton, S Nieva International Conference on Typed Lambda Calculi and Applications, 272-289, 2007 | 12 | 2007 |

Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation S Nieva, J Sánchez-Hernández, F Sáenz-Pérez International Symposium on Functional and Logic Programming, 289-304, 2008 | 11 | 2008 |

Providing declarative semantics for *HH* extended constraint logic programsM Garcia-Diaz, S Nieva Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004 | 8 | 2004 |

A higher-order logic programming language with constraints J Leach, S Nieva International Symposium on Functional and Logic Programming, 108-122, 2001 | 8 | 2001 |

R-SQL: an SQL database system with extended recursion F Sáenz-Pérez, S Nieva, J Sanchez-Hernandez, G Aranda Electronic Communications of the EASST 64, 2014 | 7 | 2014 |

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas G Aranda-López, S Nieva, F Sáenz-Pérez, J Sánchez-Hernández Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009 | 7 | 2009 |

Towards a constraint deductive database language based on hereditary harrop formulas S Nieva, F Sáenz-Pérez, J Sánchez Sextas Jornadas de Programación y Lenguajes, PROLE, 171-182, 2006 | 6 | 2006 |

Liquid types for array invariant synthesis M Montenegro, S Nieva, R Peña, C Segura Automated Technology for Verification and Analysis: 15th International …, 2017 | 5 | 2017 |

Reasoning with preorders and dynamic sorts using free variable tableaux A Gavilanes, J Leach, PJ Martín, S Nieva Artificial Intelligence and Symbolic Mathematical Computation: International …, 1996 | 5 | 1996 |

Extending Liquid Types to Arrays M Montenegro, S Nieva, R Peña, C Segura ACM Transactions on Computational Logic (TOCL) 21 (2), 1-41, 2020 | 4 | 2020 |

Kripke semantics for higher-order type theory applied to constraint logic programming languages J Lipton, S Nieva Theoretical Computer Science 712, 1-37, 2018 | 4 | 2018 |

An extended constraint deductive database: Theory and implementation G Aranda-López, S Nieva, F Saenz-Perez, J Sanchez-Hernandez The Journal of Logic and Algebraic Programming 83 (1), 20-52, 2014 | 4 | 2014 |

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. G Aranda-López, S Nieva, F Saenz-Perez, J Sánchez-Hernández LPAR (short papers), 9-22, 2013 | 4 | 2013 |

Solving constraints for an instance of an extended CLP language over a domain based on real numbers and herbrand terms M Garcıa-Dıaz, S Nieva Journal of Functional and Logic Programming 2, 2003 | 4 | 2003 |

Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms M García-Díaz, S Nieva International Symposium on Functional and Logic Programming, 103-118, 2002 | 3 | 2002 |

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems S Nieva, F Sáenz-Pérez, J Sánchez-Hernández Information and Computation 271, 104485, 2020 | 2 | 2020 |

De cualificaciones y certificados. Odisea de una profesión en busca de legitimidad social, económica y jurídica S Soto, C Mediavilla, J Gutiérrez Carpeta Informativa del Ceneam Mayo de, 2009 | 2 | 2009 |

Foundations of a theorem prover for functional and mathematical uses J Leach, S Nieva Journal of Applied Non-Classical Logics 3 (1), 7-38, 1993 | 2 | 1993 |