(1)
Kimmig, A.; Van den Broeck, G.; De Raedt, L. An Algebraic Prolog for Reasoning about Possible Worlds. AAAI 2011, 25, 209-214.