Finzi, A.; Pirri, F. Switching Tasks and Flexible Reasoning in the Situation Calculus. DIS Technical Reports 2010, 2.