Una aproximación a la programación lógica con funciones indeterministas

Aquesta tesi apareix a les col·leccions següents