@misc{indiciae5e195501f48c,
  title = {Inference in Probabilistic Logic Programs using Weighted CNF's},
  author = {Daan Fierens and Guy Van den Broeck and Ingo Thon and Bernd Gutmann and Luc De Raedt},
  year = {2012},
  url = {https://arxiv.org/abs/1202.3719},
  note = {Source identifier: 1202.3719}
}