1. A. Gabaldon, Non-Markovian control in the Situation Calculus, in: Proc. of the 18th National Conference on Artificial Intelligence (AAAI'02), Edmonton, Canada, 2002, pp. 519–524.
2. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems;Reiter,2001
3. Situations, actions and causal laws;McCarthy,1968
4. Some philosophical problems from the standpoint of artificial intelligence;McCarthy,1969
5. The frame problem in the Situation Calculus: A simple solution (sometimes) and a completeness result for goal regression;Reiter,1991