TOY: A multiparadigm declarative system FJL Fraguas, JS Hernández International Conference on Rewriting Techniques and Applications, 244-247, 1999 | 281 | 1999 |

An approach to declarative programming based on a rewriting logic JC González-Moreno, MT Hortala-Gonzalez, FJ Lopez-Fraguas, ... The Journal of Logic Programming 40 (1), 47-87, 1999 | 227 | 1999 |

A demand driven computation strategy for lazy narrowing R Loogen, FL Fraguas, MR Artalejo International Symposium on Programming Language Implementation and Logic …, 1993 | 165 | 1993 |

An Integrated Functional Logic Language M Hanus, S Antoy, H Kuchen, FJ López-Fraguas, W Lux, JJM Navarro, ... | 88* | 2006 |

A rewriting logic for declarative programming JC González-Moreno, MT Hortalá-González, FJ López-Fraguas, ... European Symposium on Programming, 156-172, 1996 | 73 | 1996 |

A simple rewrite notion for call-time choice semantics FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007 | 55 | 2007 |

Combining lazy narrowing with disequality constraints P Arenas-Sánchez, A Gil-Luezas, FJ López-Fraguas International Symposium on Programming Language Implementation and Logic …, 1994 | 43 | 1994 |

Theoretical foundations for the declarative debugging of lazy functional logic programs R Caballero, FJ López-Fraguas, M Rodríguez-Artalejo International Symposium on Functional and Logic Programming, 170-184, 2001 | 42 | 2001 |

A proof theoretic approach to failure in functional logic programming FJ López-Fraguas, J Sánchez-Hernández Theory and Practice of Logic Programming 4 (1+ 2), 41-74, 2004 | 39 | 2004 |

Rewriting and call-time choice: the HO case FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández International Symposium on Functional and Logic Programming, 147-162, 2008 | 38 | 2008 |

A new generic scheme for functional logic programming with constraints FJL Fraguas, MR Artalejo, R del Vado Vírseda Higher-Order and Symbolic Computation 20 (1-2), 73-122, 2007 | 34 | 2007 |

A functional-logic perspective of parsing R Caballero, FJ López-Fraguas International Symposium on Functional and Logic Programming, 85-99, 1999 | 34 | 1999 |

A lazy narrowing calculus for declarative constraint programming FJ López-Fraguas, M Rodríguez-Artalejo, R del Vado Vírseda Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004 | 33 | 2004 |

Extra variables can be eliminated from functional logic programs J de Dios Castro, FJ López-Fraguas Electronic Notes in Theoretical Computer Science 188, 3-19, 2007 | 32 | 2007 |

Fractional differentiation for the Gaussian measure and applications IA López, WO Urbina Bulletin des sciences mathematiques 128 (7), 587-603, 2004 | 28 | 2004 |

A logic programming approach to the verification of functional-logic programs JM Cleva, J Leach, FJ López-Fraguas Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004 | 27 | 2004 |

Implementing a Lazy Functional Logic Language with Disequality Constraints. H Kuchen, FJ López-Fraguas, JJ Moreno-Navarro, M Rodríguez-Artalejo JICSLP, 207-221, 1992 | 24 | 1992 |

Proving failure in functional logic programs FJ López-Fraguas, J Sánchez-Hernández International Conference on Computational Logic, 179-193, 2000 | 23 | 2000 |

Functional logic programming with failure: A set-oriented view FJ López-Fraguas, J Sánchez-Hernández International Conference on Logic for Programming Artificial Intelligence …, 2001 | 17 | 2001 |

A model for mathematical analysis of functional logic programs and their implementations E Boerger, FJ López-Fraguas, M Rodríguez-Artalejo | 16 | 1994 |