@phdthesis{Rafa04,
author = {R.~Caballero},
month = {June},
school = {Departamento Sistemas Inform\'{a}ticos y Programaci\'{o}n, Universidad Complutense de Madrid},
title = {T\'{e}cnicas de diagn\'{o}stico y depuraci\'{o}n declarativa para lenguajes l\'{o}gico-funcionales},
projects = {},
butype = {phdthesis},
year = {2004}
}