Parallel Backtracking with Answer Memoing for Independent And-Parallelism | Publicación