Finzi, Alberto, and Fiora Pirri. “Switching Tasks and Flexible Reasoning in the Situation Calculus”. Department of Computer and System Sciences Antonio Ruberti Technical Reports 2, no. 7 (March 26, 2010). Accessed April 25, 2024. https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8848.