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

by Raymond Reiter