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