s-Lifschitz-91-359Ray Reiter.
The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. [postscript]
In: Vladimir Lifschitz (ed): Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of J. McCarthy.
    Academic Press, 1991.