TY  - RPRT
TI  - Parallel Backtracking with Answer Memoing for Independent And-Parallelism
AU  - Pablo Chico de Guzmán
AU  - Amadeo Casas
AU  - Manuel Carro
AU  - Manuel V. Hermenegildo
PY  - 2011
UR  - https://arxiv.org/abs/1107.4724
ID  - 1107.4724
ER  -