@phdthesis{Vado09a,
author = {R.~del Vado-V\'{\i}rseda},
month = {Enero},
school = {Departamento Sistemas Inform\'{a}ticos y Computaci\'{o}n,
Universidad Complutense de Madrid},
title = {{U}n {E}squema de {P}rogramaci\'{o}n {L}\'{o}gico-{F}uncional
con {R}estricciones: {M}arco
{T}e\'{o}rico y {A}plicaci\'{o}n a la {D}epuraci\'{o}n
{D}eclarativa},
projects = {MERIT,PROMESAS,STAMP},
butype = {phdthesis},
year = {2009}
}