Una aproximación offline a la evaluación parcial dirigida por narrowing

Aquesta tesi apareix a les col·leccions següents