A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. - Amadeo Casas; Daniel Cabeza; Manuel V. Hermenegildo (FLOPS, 2006)

Towards a high-level implementation of flexible parallelism primitives for symbolic languages. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PASCO, 2007)

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (LOPSTR, 2007)

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2008)

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PADL, 2008)

Parallel backtracking with answer memoing for independent and-parallelism. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2011)

A Segment-Swapping Approach for Executing Trapped Computations. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PADL, 2012)