Técnicas de transformación de programas lógicos para su optimización y paralelización automática

Aquesta tesi apareix a les col·leccions següents