A Debugging Scheme for Functional Logic Programs. - María Alpuente; Francisco J. Correa; Moreno Falaschi (WFLP, 2001)

Declarative Debugging of Functional Logic Programs. - María Alpuente; Francisco J. Correa; Moreno Falaschi (WRS, 2001)

Correction of Functional Logic Programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (ESOP, 2003)

Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. - María Alpuente; Francisco J. Correa (Rev. Colomb. de Computación, 2004)

An integrated framework for the diagnosis and correction of rule-based programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (Theor. Comput. Sci., 2010)