Morales Caballero, José Francisco (2010). Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica . Thesis (Doctoral), Facultad de Informática (UPM).