@misc{indiciae3d7b496f8bfe,
  title = {Parallel Backtracking with Answer Memoing for Independent And-Parallelism},
  author = {Pablo Chico de Guzmán and Amadeo Casas and Manuel Carro and Manuel V. Hermenegildo},
  year = {2011},
  url = {https://arxiv.org/abs/1107.4724},
  note = {Source identifier: 1107.4724}
}