Pablo Chico de Guzmán. Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs. PhD thesis, Technical University of Madrid, Spain, 2012. [doi]
Abstract is missing.