s-Brown-87-233Matthew L. Ginsberg and David E. Smith.
Reasoning About Action I: A Possible Worlds Approach.
In: Brown (ed): The Frame Problem in Artificial Intelligence, pages 233-258.
    Morgan Kaufmann Publishers, Inc., 1987.