Finzi A, Pirri F. Switching tasks and flexible reasoning in the Situation Calculus. DIS Technical Reports [Internet]. 2010 Mar. 26 [cited 2024 Apr. 20];2(7). Available from: https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8848