Parallel backtracking with answer memoing for independent and-parallelism - Chico De Guzman, Pablo; Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V. (Theory And Practice Of Logic Programming, 2011)