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

by R Reiter
Venue:In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy