@misc{indiciaef21a782f716f,
  title = {PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics},
  author = {David Tuckey and Alessandra Russo and Krysia Broda},
  year = {2021},
  url = {https://arxiv.org/abs/2105.10908},
  note = {Source identifier: 2105.10908}
}