Renkens, J., Van den Broeck, G., & Nijssen, S. (2011). k-Optimal: a novel approximate inference algorithm for ProbLog. Inductive Logic Programming - 21st International Conference, ILP 2011, Revised Selected Papers, p. 33-38. https://hdl.handle.net/2078.5/227237