*TOY*: A Multiparadigm Declarative SystemFJ López Fraguas, J Sánchez Hernández International Conference on Rewriting Techniques and Applications, 244-247, 1999 | 298 | 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 | 247 | 1999 |

A demand driven computation strategy for lazy narrowing R Loogen, FL Fraguas, MR Artalejo Progamming Language Implementation and Logic Programming: 5th International …, 1993 | 171 | 1993 |

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

A rewriting logic for declarative programming JC González-Moreno, MT Hortalá-González, FJ López-Fraguas, ... Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996 | 79 | 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 | 59 | 2007 |

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 | 43 | 2001 |

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

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 | 40 | 2004 |

Rewriting and call-time choice: the HO case FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Functional and Logic Programming: 9th International Symposium, FLOPS 2008 …, 2008 | 39 | 2008 |

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

A new generic scheme for functional logic programming with constraints FJ López Fraguas, M Rodríguez Artalejo, RV Vírseda Higher-Order and Symbolic Computation 20 (1), 73-122, 2007 | 34 | 2007 |

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 | 34 | 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 |

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 |

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

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 |

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 | 18 | 2001 |

A model for mathematical analysis of functional logic programs and their implementations E Borger, FJ LOPEZ FRAGUAS, M RODRIGUES ARTALEJO IFIP 13th World Computer Congress 1994 Volume I: Technology/Foundations, 410-415, 1994 | 18 | 1994 |

User’s manual for Toy R Caballero-Roldán, FJ López-Fraguas, J Sánchez-Hernández Tech. Rep. DIA 97/57, 1997 | 16 | 1997 |