A. Finzi and F. Pirri, “Switching tasks and flexible reasoning in the Situation Calculus”, DIS Technical Reports, vol. 2, no. 7, Mar. 2010.