The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. Artificial intelligence and mathematical theory of computation: papers in honour of John McCarthy (1991)

by R Reiter