Parallel backtracking with answer memoing for independent and-parallelism | Publicación