Finzi, A. and Pirri, F. 2010. Switching tasks and flexible reasoning in the Situation Calculus. Department of Computer and System Sciences Antonio Ruberti Technical Reports. 2, 7 (Mar. 2010).