FINZI, A.; PIRRI, F. Switching tasks and flexible reasoning in the Situation Calculus. Department of Computer and System Sciences Antonio Ruberti Technical Reports, [S. l.], v. 2, n. 7, 2010. Disponível em: https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/8848. Acesso em: 25 apr. 2024.