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). Available at: https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8848 (Accessed: 27 April 2024).