Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa

Aquesta tesi apareix a les col·leccions següents