Kimmig, A., Van den Broeck, G., & De Raedt, L. (2011). An Algebraic Prolog for Reasoning about Possible Worlds. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 209-214. https://doi.org/10.1609/aaai.v25i1.7852