Hector J. Levesque Fiora Pirri Raymond Reiter Foundations for the Situation Calculus. 159-178 1998 2 Electron. Trans. Artif. Intell. http://www.ep.liu.se/ej/etai/1998/005/ db/journals/etai/etai2.html#LevesquePR98