Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.
A. Dovier, A. Formisano, and E. Pontelli. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 259-279. Springer, (2011)