@misc{indiciae9aae11c56639,
  title = {Inference and learning in probabilistic logic programs using weighted Boolean formulas},
  author = {Daan Fierens and Guy Van den Broeck and Joris Renkens and Dimitar Shterionov and Bernd Gutmann and Ingo Thon and Gerda Janssens and Luc De Raedt},
  year = {2013},
  doi = {10.1017/s1471068414000076},
  url = {https://arxiv.org/abs/1304.6810},
  note = {Source identifier: 1304.6810}
}