Raymond Reiter Proving Properties of States in the Situation Calculus. 337-351 1993 64 Artif. Intell. 2 db/journals/ai/ai64.html#Reiter93