The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression (1991)

by R Reiter
Venue:Artifical Intelligence and Mathematic Theory of Comupation: Papers in Honor of John McCarthy