Text this: Un esquema de programación lógicofuncional con restricciones: marco teórico y aplicación a la depuración declarativa :