Kimmig, A., G. Van den Broeck, and L. De Raedt. “An Algebraic Prolog for Reasoning about Possible Worlds”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 25, no. 1, Aug. 2011, pp. 209-14, doi:10.1609/aaai.v25i1.7852.