Parsing with Non-Deterministic Functions. - Rafael Caballero 001; Francisco Javier López-Fraguas (APPIA-GULP-PRODE, 1998)

Extensions: A Technique for Structuring Functional-Logic Programs. - Rafael Caballero 001; Francisco Javier López-Fraguas (Ershov Memorial Conference, 1999)

A Functional-Logic Perspective on Parsing. - Rafael Caballero 001; Francisco Javier López-Fraguas (Fuji International Symposium on Functional and Logic Programming, 1999)

A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. - Rafael Caballero 001; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (WFLP, 2000)

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. - Rafael Caballero 001; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (FLOPS, 2001)

A Declarative Debugging System for Lazy Functional Logic Programs. - Rafael Caballero 001; Mario Rodríguez-Artalejo (WFLP, 2001)

Dynamic-Cut with Definitional Trees. - Rafael Caballero 001; Francisco Javier López-Fraguas (FLOPS, 2002)

Declarative Debugging for Encapsulated Search. - Rafael Caballero 001; Wolfgang Lux (WFLP, 2002)

Improving Deterministic Computations in Lazy Functional Logic Languages. - Rafael Caballero 001; Francisco Javier López-Fraguas (J. Funct. Log. Program., 2003)

DDT: a Declarative Debugging Tool for Functional-Logic Languages. - Rafael Caballero 001; Mario Rodríguez-Artalejo (FLOPS, 2004)

A declarative debugger of incorrect answers for constraint functional-logic programs. - Rafael Caballero 001 (WCFLP, 2005)

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (ICLP, 2006)

Implementing Dynamic-Cut in TOY. - Rafael Caballero 001; Yolanda García-Ruiz (WFLP, 2006)

Algorithmic Debugging of Java Programs. - Rafael Caballero 001; Christian Hermanns; Herbert Kuchen (WFLP, 2006)

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (ICLP, 2007)

A New Proposal for Debugging Datalog Programs. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (WFLP@RDP, 2007)

A Declarative Debugger for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet; Rafael Caballero 001 (AMAST, 2008)

Declarative Debugging of Membership Equational Logic Specifications. - Rafael Caballero 001; Narciso Martí-Oliet; Adrián Riesco 001; Alberto Verdejo (Concurrency, Graphs and Models, 2008)

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (FLOPS, 2008)

Similarity-based reasoning in qualified logic programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (PPDP, 2008)

A Theoretical Framework for the Declarative Debugging of Datalog Programs. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (SDKB, 2008)

A Declarative Debugger for Maude Functional Modules. - Rafael Caballero 001; Narciso Martí-Oliet; Adrián Riesco 001; Alberto Verdejo (WRLA, 2008)

Qualified Computations in Functional Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (ICLP, 2009)

Applying Constraint Logic Programming to SQL Test Case Generation. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (FLOPS, 2010)

Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) - Rafael Caballero 001; John P. Gallagher (CoRR, 2010)

A Deductive Database with Datalog and SQL Query Languages. - Fernando Sáenz-Pérez; Rafael Caballero 001; Yolanda García-Ruiz (APLAS, 2011)

Algorithmic Debugging of SQL Views. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (Ershov Memorial Conference, 2011)

A Declarative Embedding of XQuery in a Functional-Logic Language. - Jesús Manuel Almendros-Jiménez; Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (LOPSTR, 2011)

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. - Rafael Caballero 001; Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (LOPSTR, 2011)

Integrating XPath with the Functional-Logic Language Toy. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (PADL, 2011)

A program transformation for returning states in functional-logic programs. - Rafael Caballero 001 (PEPM, 2011)

XQuery in the Functional-Logic Language Toy. - Jesús Manuel Almendros-Jiménez; Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (WFLP, 2011)

A Generic Scheme for Qualified Constraint Functional Logic Programming - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (CoRR, 2011)

XPath Query Processing in a Functional-Logic Language. - Jesús Manuel Almendros-Jiménez; Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (PROLE, 2011)

Declarative Debugging of Wrong and Missing Answers for SQL Views. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (FLOPS, 2012)

Test-Case Generation for SQL Nested Queries with Existential Conditions. - Rafael Caballero 001; José Luzon-Martin; Antonio Tenorio-Fornes (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Declarative debugging of rewriting logic specifications. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet; Rafael Caballero 001 (J. Log. Algebraic Methods Program., 2012)

Finite type extensions in constraint programming. - Rafael Caballero 001; Peter J. Stuckey; Antonio Tenorio-Fornes (PPDP, 2013)

A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (TAP@STAF, 2013)

EDD: A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (TACAS, 2014)

A Transformation-based implementation for CLP with qualification and proximity. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (Theory Pract. Log. Program., 2014)

Checking Java Assertions Using Automated Test-Case Generation. - Rafael Caballero 001; Manuel Montenegro; Herbert Kuchen; Vincent von Hof (LOPSTR, 2015)

Debugging of wrong and missing answers for datalog programs with constraint handling rules. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (PPDP, 2015)

A zoom-declarative debugger for sequential Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Sci. Comput. Program., 2015)

Two type extensions for the constraint modeling language MiniZinc. - Rafael Caballero 001; Peter J. Stuckey; Antonio Tenorio-Fornes (Sci. Comput. Program., 2015)

Debugging Meets Testing in Erlang. - Salvador Tamarit; Adrián Riesco 001; Enrique Martin-Martin; Rafael Caballero 001 (TAP@STAF, 2016)

A Survey of Algorithmic Debugging. - Rafael Caballero 001; Adrián Riesco 001; Josep Silva (ACM Comput. Surv., 2017)

Anticipating anonymity in screening program databases. - Rafael Caballero 001; Sagar Sen; Jan Nygård (Int. J. Medical Informatics, 2017)

Declarative debugging of concurrent Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (J. Log. Algebraic Methods Program., 2018)

A core Erlang semantics for declarative debugging. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (J. Log. Algebraic Methods Program., 2019)

A unified framework for declarative debugging and testing. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Inf. Softw. Technol., 2021)